Logische Strukturen
Sommersemester 2009
Prof. Dr. (USA) Martin Dietzfelbinger
Auswertung Studierendenbefragung
[Mitteilungen] [Inhalte] [Termine] [Scheinerhalt] [Literatur] [Materialien]
MitteilungenErgebnisse der 1. und 2. Bonusklausur Logische Strukturen
Am Freitag, den 26.06.2009, findet um 13 Uhr in Raum HU 013 für die Teilnehmer der Montags-Übung eine zusätzliche Übung zu Blatt 3 und 4 statt, da von vielen der Ersatztermin für die Übung am Pfingstmontag nicht wahrgenommen werden konnte.
An selbigem Freitag, den 26.06.2009, findet in der Volesung eine Bonus-Klausur statt!
Inhalte
Termine
Vorlesung | Freitag
| 11:00-12:30 | HU-Hs
(am 15.05 im C-Hs)
| Prof. M. Dietzfelbinger
| Übungen | Montag (U)
| 13:00-14:30 | Sr HU 011
| U. Schellbach
| Mittwoch (G)
| 11:00-12:30 | Sr HU 012
| U. Schellbach
| Freitag (U)
| 13:00-14:30
| Sr HU 010
| U. Schellbach
|
Literatur und Links
Materialien und ÜbungsblätterDokumente zur Vorlesung
Satz von Löwenheim-Skolem (zur Vorlesung am 19.06.2009)
Übungsblätter
Folien zu Übung 0
Übungsblatt 1
Übungsblatt 2
Übungsblatt 3
Übungsblatt 4
Übungsblatt 5
Übungsblatt 6
| 
