Universität des Saarlandes
FR Informatik
Programmiersysteme
Vorlesungen
Comp. Logik SS 03


Hauptseite
Termine
Literatur
Übungen
Prüfungen
Mailingliste
Software
Material

Einführung in die Computationale Logik: Material

1. Mengenlehre
   • Kapitel 2 aus Programmierung, WS 2002
   • Kapitel 1 aus LSV, SS 2002 (für Definition von Suprema und Infima)
2. Induktion, Rekursion und Fixpunktoperatoren
   • Induktion
   • Kapitel 2 aus LSV, SS 2002
   • Kapitel 5 aus LSV, SS 2002
3. Syntax und Semantik
   • Kapitel 3 aus LSV, SS 2002
4. Aussagenlogik
   • Skript (pdf)
   • Vortrag Solving Boolean Equations with BDDs and Clause Forms (pdf)
5. Typtheorie (pdf)
6. Programme (pdf)
7. Programmverifikation (pdf)
8. Berechenbarkeit ( Kapitel 9 aus LSV, SS 2002)