Vorlesung Logik, SS 19
Gerhard Brewka

Vorlesungsunterlagen



Einführung  pdf

Teil 1: Aussagenlogik:

Teil 2: Prädikatenlogik

Teil 3: Logikprogrammierung



Folien zur Vorlesung (letzter update 16. Mai): Teil 1: pdf, Teil 2: pdf, Teil 3: pdf

Hinweis: Die Folien sind aktueller als die obigen Texte. Sie enthalten alle relevanten Definitionen und Resultate. Die Texte enthalten weitere Beispiele, die zum Teil in der Vorlesung an der Tafel behandelt werden.


16.05.2019