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
-
Mengenlehre
-
Induktion, Rekursion und Fixpunktoperatoren
-
Syntax und Semantik
-
Aussagenlogik
-
Skript (pdf)
-
Vortrag Solving Boolean Equations with BDDs and Clause Forms
(pdf)
-
Typtheorie
(pdf)
-
Programme
(pdf)
-
Programmverifikation
(pdf)
-
Berechenbarkeit
(
Kapitel 9 aus LSV, SS 2002)
Letzte Änderung: Do 01 Jan 1970 00:00:00 UTC