SoSe 2007 » Formale Grundlagen der Informatik II
Prof. Dr. Otto

Übersicht

Lehrmaterial

Forum

Aktuelles

01.04.2008

Die Klausurergebnisse für die Nachholklausur FGdI 2 hängen jetzt im Schaukastenneben Raum S215/209 aus. Kandidaten für eine mündliche Nachprüfung melden sich bitte wegen eines Termins bei Prof. Otto.

 

Veranstalter

Name	Raum	Tel.
Prof. Dr. Martin Otto	S2|15 207	22861
Dr. habil. Achim Blumensath	S2|15 203	22865

 

Literatur

• Burris: Logic for Mathematics and Computer Science, Prentice-Hall 1998.
• Ben-Ari: Mathematical Logic for Computer Science, Springer 1993.
• Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik, Spektrum 1998.
• Schoening: Logik für Informatiker, Spektrum 2000.

 

Impressum | Datenschutzerklärung