Logik für Informatiker (SS01)

Inhalt

Die Vorlesung führt ein in Begriffe und Methoden der formalen Logik. Der Schwerpunkt der Vorlesung liegt auf Anwendungen der Logik in der Informatik, insbesondere der Logik-Programmierung. In diesem Zusammenhang wird auch eine Einführung in die Programmiersprache PROLOG gegeben.

Zeit

Ort

Folien

• Kapitel 1: Einleitung
• Kapitel 2: Aussagenlogik
• Kapitel 3: Prädikatenlogik (auch im 1-zu-1 Format)
• Kapitel 4: Logikprogrammierung (auch im 1-zu-1 Format)
• Die Programme hallo1.pl, hallo2.pl, graph.pl und li.pl

Übungszettel

• Übungszettel 1
• Übungszettel 2
• Übungszettel 3a
• Übungszettel 4a
• Übungszettel 4b
• Übungszettel 5a
• Übungszettel 5b
• Lösung zu den Übungszetteln 5a und 5b (auch im 1-1 Format)

Scheine

Die Ergebnisse der Scheinklausur.

Die Scheine können ab sofort bei Frau Trapp abgeholt werden: Zimmer 209 im D7-Gebäude, Mo-Fr zwischen 10 Uhr und 12 Uhr.

PROLOG-Implementationen

GNU Prolog

This Web page is Valid HTML and