Vorlesung Logik für Informatiker
Wintersemester 2003/04
Lehrbeauftragter:
Prof. Dr. Jürgen Dassow
Semester:
Grundstudium, 1. Semester
Wochenstunden:
2+1+0
Zuhörerkreis:
IF 03
Voraussetzungen:
keine
Inhalt:
Ausdrücke der Aussagen- und Prädikatenlogik, semantische Äquivalenz und Normalformen, Entscheidbarkeit logischer Probleme, Resolutionsmethode und Verfahren für Hornausdrücke für das Erfüllbarkeitsproblem, Ausblick auf andere Logiken.
Literatur:
Vorlesungsskript
Teil 1
Teil 2
Teil 3
U. Schöning: Logik für Informatiker. Spektrum Akademischer Verlag, 2000.
Folien:
Teil 1
Teil 2
Teil 3
Teil 4
Übungsblätter:
Übungsblatt 1
Übungsblatt 2
Übungsblatt 3
Übungsblatt 4
Übungsblatt 5
Übungsblatt 6
Informationen:
Die Übungen in der ersten Vorlesungswoche finden
nicht
statt.
Stundenplan
laut
Univis
Webmaster