Willkommen zur Webseite ...
... der Wahlpflichtvorlesung "Formale Systeme" im Wintersemester 2007/08.Neuigkeiten
Ergebnisse/Einsich Nachklausur Formale Systeme am 08.10.08
Die Ergebnisse der Klausur vom 8.10. hängen seit gestern im Infobau im Erdgeschoss sowie im dritten Stock aus.
Die Einsicht findet wie angekündigt am Montag, 20.10.08 14-15 Uhr im Raum 301 im Infobau statt.
- Die zweite Nachklausur fand am 8.10.08 statt.
- Einsicht zur Klausur ist am 23.4.08 von 14.30 bis 17.30 Uhr.
- Informationen zur zweiten Klausur
- Für Informationen zur Klausur am 18.2. und deren Wiederholung, lesen Sie bitte die Seite zur Klausurwiederholung
- Online Punktestand-Abfrage
- Es gibt eine Statistik zur Minisat-Programmieraufgabe.
- DiePraxisaufgabe mit SPIN ist eingestellt. Die Abgabe erfolgt über dieses Formular.
- Die Anmeldung zur Klausur erfolgt in einem Online-Anmeldeverfahren.
- Die Termine im neuen Jahr haben sich ein zweites Mal geändert.
- Die Termine im neuen Jahr haben sich geändert.
- Die Praxisaufgabe mit KeY ist eingestellt. Die Abgabe erfolgt über dieses Formular.
- Die SAT-solver Praxisaufgabe ist eingestellt. Die Abgabe erfolgt über dieses Formular.
- Bitte tragen Sie sich rasch in die Tutorien ein!
- Die Newsgroup ist eingerichtet und wartet auf Nachrichten
Termine
- Vorlesung
- Donnerstags, 14 Uhr
Freitags, 11.30 Uhr (14-tägig)
jeweils im Gaede-Hörsaal Geb. 30.22 Raum 130.1
jede zweite Woche ist freitags keine Vorlesung
Details zu den Terminen
- Klausur
- Erste Klausur: 18. Februar 2008
Zweite Klausur1: 4. April 2008
- Tutorien
- Es gibt acht Tutoriengruppen in diesem Semester. Einschreiben kann man sich über eine Web-Schnittstelle
1 Achtung! Hier stand ursprünglich "5. April". Dies war aber falsch!
Übungsaufgaben
Übungsblätter · Musterlösungen · Formale Werkzeuge · Alte KlausurenMaterial
Skript · Folien · Links · LiteraturKontakt
Newsgroup · E-Mail · SprechstundeLetzte Änderungen: 16.10.2008 15:24:09