Die Suche ergab 173 Treffer

von Xaero
12. Jan 2007 14:38
Forum: Archiv
Thema: VeriFun Update
Antworten: 9
Zugriffe: 1499

Hallo,
hab mal eine kurze Fragem zu dem Proof Viewer...in dem Fester Goal wird angezeigt, was gerade bewiesen wird und manches wird in verschiedenen Farben dargestellt. Wollte nur fragen, was die einzelnen Farben bedeuten(rot,rosa,grün,hellgrün usw.)
von Xaero
8. Jan 2007 21:58
Forum: Archiv
Thema: Praktikum 3.1
Antworten: 8
Zugriffe: 1155

Bei der einführung war ja eine Gleichheit da Folie 28 und jetzt habe ich ein If. Was soll ich denn überhaupt da machen?
von Xaero
8. Jan 2007 21:21
Forum: Archiv
Thema: Praktikum 3.1
Antworten: 8
Zugriffe: 1155

ich habe doch ein if-Statement und kein Gleich! Wie kann ich da vorgehen???
von Xaero
8. Jan 2007 17:23
Forum: Archiv
Thema: Praktikum 3.1
Antworten: 8
Zugriffe: 1155

Praktikum 3.1

Hallo,
nach stundenlangem Scheitern wollte mich mal an Forum wenden...kann mir denn irgendjemand einen kleinen Tip geben bei der 3.1...In der Move Hypothese steht bei mir if{ordered(isort(tl(k))), ordered(hd(k) ⊕ isort(tl(k))), true}. Wie kann ich das als Hilfslemma formulieren???
von Xaero
5. Jan 2007 19:40
Forum: Archiv
Thema: Spiel anlegen
Antworten: 2
Zugriffe: 1025

Spiel anlegen

Hallo,
ich kann mich nicht mehr sehr genau an die Vorstellung des Projektes erinnern und wollte nachfragen in welcher Klasse bzw. Fester man die Möglichkeit hat in Spiel anzulegen? Ist das, das selbe Fenster, wo man die Topics(Chatthemen) anlegt???
von Xaero
13. Nov 2006 19:12
Forum: Archiv
Thema: Praktikum 1.1d
Antworten: 1
Zugriffe: 581

Praktikum 1.1d

Hallo,
ich habe ein kleine Frage: er geht ja in die For-Schleife rein und wartet da wegen dem await...wenn aber das await erfüllt ist, geht er dann in den kritischen Abschnitt oder zählt er das k hoch???
von Xaero
27. Okt 2006 13:35
Forum: Archiv
Thema: Übung
Antworten: 1
Zugriffe: 867

Übung

Werden auch die Lösungen zu den Übungen veröffentlicht???
von Xaero
24. Okt 2006 21:22
Forum: Archiv
Thema: Übung 1 Aufgabe 3
Antworten: 1
Zugriffe: 763

Übung 1 Aufgabe 3

Hallo,
also ich habe ja die Gleichung bei der Aufgabe 3 bekommen:
a=(11-10)*(14-7)^-1 mod 22
Wie kann ich jetzt das Inverse von 7 ausrechnen also 7^-1

Zur erweiterten Suche