Die Suche ergab 224 Treffer

von BastiS
13. Nov 2006 21:22
Forum: Archiv
Thema: Praktikum 2: Sieht das Männchen bei euch auch so aus?
Antworten: 44
Zugriffe: 6992

Also ich finde, die Aufgabe, liest sich sehr deutlich so, dass man nicht sagen kann: "Dein Apfelmännchen ist falsch!" oder "Dein Apfelmännchen ist richtig!" Da steht doch, dass sich die angegebenen Werte EIGNEN und das mit den 5 ASCII-Zeichen scheint mir auch nur ein Beispiel zu sein. Man kann vermu...
von BastiS
13. Nov 2006 18:33
Forum: Archiv
Thema: Praktikum_2
Antworten: 4
Zugriffe: 1493

Du hast 70 Zeichen pro Zeile, dein Interval hat eine Breite von 3, also ist 3/70tel weiter dein nächstes Zeichen
von BastiS
13. Nov 2006 10:00
Forum: Archiv
Thema: Praktikum 1.2
Antworten: 12
Zugriffe: 1507

Noch eine Verständnisfrage:
in der Aufgabenstellung steht, dass V(s) nur dann aufgerufen werden darf, wenn s 0 ist. Was ist nun in den entsprechenden Stellen im Code, an denen V(s) aufgerufen wird, aber s 1 ist.
Soll der Prozess dort blockieren (genauso wie es für P(s) gefordert ist)?
von BastiS
12. Nov 2006 18:33
Forum: Archiv
Thema: Praktikum 1.2
Antworten: 12
Zugriffe: 1507

zur Ergänzung des Eintrages von bagotios: Wir kommen mit der Aufgabe auch nicht klar. Haben das ganze jetzt im Stil von dem Dijkstra-Beispiel modeliert und wollten jetzt mit XSpin verifizieren. Beim Verhungern wollten wir mit als LTL-Formel ([] <> p) && ([] <> q) verwenden, wobei die Variablen p und...
von BastiS
3. Nov 2006 23:31
Forum: Archiv
Thema: xspin unter Windows
Antworten: 22
Zugriffe: 2913

Hat sich erledigt. Funktioniert jetzt. :-)
von BastiS
3. Nov 2006 18:13
Forum: Archiv
Thema: xspin unter Windows
Antworten: 22
Zugriffe: 2913

Hmm, ok die Verknüpfung damit hatte ich auch schon probiert. Ja, den Pfad hab ich auch entsprechend angepasst bzw. den Standard-Pfad verwendet. Ich erhalte in der cmd folgende Fehlermeldung, wenn ich die Datei direkt von dort aus öffne: 'invalid command name "option" while executing "option add *Scr...
von BastiS
3. Nov 2006 15:34
Forum: Archiv
Thema: xspin unter Windows
Antworten: 22
Zugriffe: 2913

xspin unter Windows

Ich habe jetzt Spin wie hier - http://spinroot.com/spin/Man/README.html - beschrieben installiert und das funktioniert auch alles so weit. Jetzt wollte ich noch XSpin lauffähig machen. Hab dazu also, wie dort beschrieben im cygwin\bin-Ordner nen neuen Unterordner xspin angelegt und dort die tcl-date...
von BastiS
2. Nov 2006 15:21
Forum: Archiv
Thema: Länge des Eingabetextes / Reseten des Speichers
Antworten: 1
Zugriffe: 906

Länge des Eingabetextes / Reseten des Speichers

Hallo, zwei Fragen sind bei uns aufgetaucht: Wie lange soll der Eingabetext sein können? Also, wieviel Platz sollen wir im Speicher dafür reservieren? Soll der Speicher und die Register gleich nach dem ersten Ablauf des Programmes wieder geleert werden oder ist das egal? Weil eine Nichtleerung ja zu...
von BastiS
26. Okt 2006 07:13
Forum: Archiv
Thema: FAQ Nachprüfungen
Antworten: 33
Zugriffe: 5562

Diese Frage ist evtl. auch für WebReg-Benutzer von Interesse, da das WebReg ja zur Zeit die Anmeldung verweigert, auf Grund angeblich falscher Nutzerdaten.
von BastiS
31. Mai 2006 15:00
Forum: Ankündigungen
Thema: Studiengebühren, die Dritte
Antworten: 87
Zugriffe: 24550

Aha, jetzt wird tatsächlich auch die andere Seite beachtet:
http://www.echo-online.de/suedhessen/te ... ?id=376656
von BastiS
18. Mai 2006 15:42
Forum: Offtopic
Thema: Neuland Darmstadt: Baumarkt?
Antworten: 6
Zugriffe: 773

Also ob das der nächste ist, weiß ich nicht, aber es gibt auf jeden Fall den Farbenkrauth. Der ist in der Heidelberger Str. 195. (mit der 6/7/8 vom Luisenplatz aus (Richtung Hbf) bis zur Landskronstr. Da musst du dann noch ca. 200m geradeaus in die Richtung laufen, in die die Straßenbahn auch fährt,...
von BastiS
30. Mär 2006 11:02
Forum: Offtopic
Thema: Übungen
Antworten: 4
Zugriffe: 914

Übungen

Hat jemand nen Plan, ob in der ersten Vorlesungswoche tatsächlich schon Übungen anfangen, so wie es im VV drin steht?
Wie ist da so die Erfahrung aus den letzten Jahren?
von BastiS
23. Mär 2006 18:06
Forum: Offtopic
Thema: sitzplaetze audimax
Antworten: 6
Zugriffe: 1161

Hmm, ich hab nur mal die Leuchtstoffröhren gezählt und das waren meine ich etwas mehr als 1200
von BastiS
6. Mär 2006 22:47
Forum: Offtopic
Thema: WLAN USB Stick
Antworten: 10
Zugriffe: 1542

Also ich nutze das Fritz-Teil, was für dich wie Billigschrott aussieht ^^, zu Hause und hatte noch keinerlei Probleme, auch Funkkontakt zwischen Erdgeschoss und Keller, wo ja ne dicke Bodenplatte dazwischen is, stellen kein Problem bei mir da, wenn man den Router erstmal richtig positioniert hat, da...

Zur erweiterten Suche