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
  2. Induktion, Rekursion und Fixpunktoperatoren
  3. Syntax und Semantik
  4. Aussagenlogik
  5. Typtheorie (pdf)
  6. Programme (pdf)
  7. Programmverifikation (pdf)
  8. Berechenbarkeit ( Kapitel 9 aus LSV, SS 2002)
Letzte Änderung: Wed Nov 7 11:54:44 2018