D120.de/forum

Liebe Studenten,

die Ergebnisse der Klausur hängen bei uns am schwarzen Brett vor E317.

Die Klausureinsicht ist am 7. Mai von 14:00 bis 17:00 Uhr im Raum E302.

Beste Grüße,

Dieter Schuster

P.S.: Bitte sehen Sie davon ab, Photos der Ergebnisse zu machen, und diese zu verbreiten.

Hallo,

das ist korrekt, der Link in diesem Jahr ist: http://www.mais.informatik.tu-darmstadt ... -ss10.html, wie CRONi666 schon schrieb.

Wir haben in diesem Semester noch freie Plätze.

Beste Grüße,

Dieter Schuster

Rein nach der Definition von rek. Gleichungssystemem auf Folie 23 des Foliensatzes 12 sind ja nur der bis dahin eingeführte Teilbereich der Ausdrücke in den rechten Seiten von Gleichungen erlaubt. Gilt das auch weiterhin so oder kann ich auch die danach eingeführten Erweiterungen wie Fixpunktnotati...

Hi, was für Alternativen zur Ausgestalltung gibt es für die Regeln: ar=t, ar=f, ar≤t, ar≤f? Die Auswertungsstrategie lässt sich hier ja nicht verändern. Gruß, Michael Für die Regel ar=t gibt es etwa folgende Alternative: <a_1, \sigma> \Downarrow n_1 <a_2, \sigma> \Downarrow n_2 (ar=t') ------------...

Es geht um Aufgabe 2, Übung 6 Das ganze kollidiert bisschen mit dem was ich aus FGDI3 mitgenommen hab (ich hab hier nochmal in alte Unterlagen reingeschaut) In der Musterlösung steht, "< ist teilmenge von N x N" ist wohlfundiert. Eine unendliche Folge mit der Relation wäre doch gerade 3 < 4 < 5 < 6...

Liebe Studenten,

auf den internen Webseiten der Lehrveranstaltung und auf der Pinwand vor E317 steht die Raumverteilung für die Klausur.

Beste Grüße,

Dieter Schuster

Genau so ist es. Die Raumplanung legt den Zeitpunkt der Klausur fest, wir haben keinen Einfluss darauf.

Beste Grüße,

Dieter Schuster

Auf Folie 11 in Modul scheint sich ein kleiner Fehler eingeschlichen zu haben. Der letzte Punkt sieht folgendermaßen aus: Für jede mögliche Transition (s1,e1,s1´) von TS1 mindestens eine Transition von TS, die folgende Form hat: (s1,s2)-e1->(s1´,s2´). Sollte bei asynchroner Nebenläufigkeit der Zust...

Im Modul 7, Seite 7 heißt es: "der Term E, wobei E € {E1, …, Ek} gilt, oder [...]" Wie soll denn der Term E gleichzeitig seine Herleitung sein? E ist doch ein RTerm und keine Herleitung. Hier wird "Herleitung von \xi aus \xi_1, ..., \xi_k in einem Kalkül K" definiert, im Unterschied zur Folie 6, wo...

Hallo zusammen, In Übung 3 sollen wir uns ja mit Folgen beschäftigen. Nun ist meine Frage ob folgendes schon nach unserer Definition in der Vorlesung gilt: "Sei D ein Wertebereich und d aus D. Dann ist (d) = ((), d)." Oder wäre das eine zusätzliche Konvention, die ich einführen muss, wenn ich sie be...

Hallo FoC-Teilnehmer, beim neuen Übungsblatt ist mir eine Formulierung leider nicht ganz klar. Teilaufgabe 2 von Übung 4 V 1.0 Aufgabe 2 lautet: Was modellieren die Symbole des Alphabets? sowie Teilaufgabe 3: Was modellieren die Zustände des Automaten? Was bedeutet "modellieren" in diesem Kontext? ...

Liebe Studenten. In Aufgabe 4.1 hat sich ein Fehler eingeschlichen, der die Aufgabe verändert. Die Sprache war fälschlicherweise als L={ w \in \Sigma^* | \exists w' \in {a,b}^+. w=aw'b}. Die korrekte Definition ist: L={ w \in \Sigma^* | \exists w' \in {(a,b)}^+. w=aw'b}. Beachten Sie die Klammer um ...

Schauen Sie mal auf Folie 19 des Modul 2.

Beste Grüße,

Dieter Schuster

Liebe Studenten,

ich habe an Übung 1 A2.2 ein paar kleine Korrekturen vorgenommen. Das korrigiert Blatt steht auf unseren Webseiten.

Beste Grüße,

Dieter Schuster

m_stoica hat geschrieben:Stimmt jetzt ist es wieder da.
Heißt das also, dass wir morgen schon die Übungen abgeben können?

Ja.