Die Suche ergab 74 Treffer

von schuster
23. Jan 2008 15:00
Forum: Archiv
Thema: Fragen zu Modul 11 und Übung 12
Antworten: 3
Zugriffe: 845

Re: Fragen zu Modul 11 und Übung 12

Pfeile mit doppelter Linie = Semantik-Ebene; versus Pfeile mit einfacher Linie = Prädikatenlogik-Ebene. Da ist wohl was bei der Korrektur schiefgegannen. Der Pfeil => steht für die Implikation der Aussagen- oder Prädikatenlogik. Wenn man aber die Prädikatenlogik als Objektsprache hat, und mathemati...
von schuster
23. Jan 2008 14:32
Forum: Archiv
Thema: Fragen zu Modul 11 und Übung 12
Antworten: 3
Zugriffe: 845

Re: Fragen zu Modul 11 und Übung 12

Auf Folie 7 wird ein Prozess als ein Paar (E, Tr) definiert, wobei Tr eine Menge von Traces ist. Auf Folie 8 werden \alpha und traces als Funktionen auf Prozessen definiert. Auf Folie 12 wird STOP_E als Familie von Prozessen definiert, dennoch ist \alpha STOP_E ein offenbar zulässiger Ausdruck. Für...
von schuster
21. Dez 2007 17:58
Forum: Archiv
Thema: Modul9, Übung 10
Antworten: 1
Zugriffe: 1029

Modul9, Übung 10

Modul 9 liegt in Version 1.0 vor.

In Modul 8 wurden ein paar Tippfehler korrigiert.

Übung 10 enthielt Tippfehler in den Kalkülregeln der ersten Aufgabe.
von schuster
13. Dez 2007 09:52
Forum: Archiv
Thema: Modul8 und Übung9
Antworten: 3
Zugriffe: 964

Modul8 und Übung9

Modul 8 ist jetzt in Version 1.0 online.

In Übung 9 wurde in Version 1.0 die Aufgabe 3 zur Alternativen Semantik gestrichen.
von schuster
28. Nov 2007 18:12
Forum: Jobs
Thema: Forschungshiwi-Stellen zu vergeben
Antworten: 0
Zugriffe: 994

Forschungshiwi-Stellen zu vergeben

Das Fachgebiet Theoretische Informatik - Formale Methoden und Informationssicherheit hat mehrere Forschungshiwi-Stellen zu vergeben.

Nährere Informationen finden Sie unter:
http://www.fmis.informatik.tu-darmstadt ... hiwis.html
von schuster
14. Nov 2007 15:42
Forum: Archiv
Thema: Modul04
Antworten: 0
Zugriffe: 651

Modul04

Die Version 1.0 der Folien ist jetzt online.

In Übung 4 gab es einen kleinen Tippfehler, die Funktion spricht in 4.1c) sollte partiell sein.

Die Lösung von Übung 4 ist jetzt im Netz, ebenso das Übungsblatt 5.
von schuster
7. Nov 2007 18:16
Forum: Archiv
Thema: Modul03
Antworten: 0
Zugriffe: 560

Modul03

Modul03 ist in der Version 1.0 online.

Das neue Übungsblatt und die Lösung des alten ebenso.
von schuster
31. Okt 2007 14:58
Forum: Archiv
Thema: Modul02
Antworten: 1
Zugriffe: 740

Die Version 1.0 des Moduls 2 und die Musterlösung der zweiten Übung ist jetzt online.
von schuster
30. Okt 2007 14:09
Forum: Archiv
Thema: Modul02
Antworten: 1
Zugriffe: 740

Modul02

Die Folien von Modul 2 sind online.
von schuster
24. Okt 2007 15:00
Forum: Archiv
Thema: Modul01
Antworten: 0
Zugriffe: 577

Modul01

Die Folien von Modul01 sind jetzt im Netz. Ebenso das zweite Übungsblatt und die Musterlösung des ersten Übungsblattes.
von schuster
22. Okt 2007 10:20
Forum: Archiv
Thema: Zuordnung zu den Korrekteuren
Antworten: 6
Zugriffe: 1344

Zuordnung zu den Korrekteuren

Die Zuordnung zu den Korrekteuren sollte jetzt im WegReb sichtbar sein. Die Sprechstunden der Tutoren stehen auf der Webseite der Veranstalltung.
von schuster
22. Okt 2007 10:17
Forum: Archiv
Thema: Anmeldung im WebReb
Antworten: 7
Zugriffe: 1291

Die Punkte für die Aufgaben gibt es für die schnelle Orientierung, die natürlich nicht das Nacharbeiten der Korrektur ersetzt.

Jetzt sollte die Zuteilung zu den Übungkorreteuren im Netz sein.
von schuster
17. Okt 2007 17:02
Forum: Archiv
Thema: Folien und Übung 1 ist im Netz
Antworten: 0
Zugriffe: 665

Folien und Übung 1 ist im Netz

Liebe Studenten,

Ihr findet jetzt die Folien von Modul00 im Netz.
von schuster
16. Okt 2007 21:54
Forum: Archiv
Thema: Passwort zu den Lehrmaterialien
Antworten: 40
Zugriffe: 6054

Guten Abend.

Das Passwort wird morgen in der Vorlesung und in der Übung bekannt gegeben.

Zur erweiterten Suche