Beschreibung

Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesung verstehen sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbständig zu erarbeiten. Weiters sollen sie ein Grundverständnis für die Methoden der theoretischen Informatik haben. In der Vorlesung werden die folgenden Themen behandelt, die im Proseminar in weiterführenden Übungen vertieft werden.

• Aussagenlogik
• Schaltkreise
• Grammatiken
• Chomsky-Hierarchie
• Formale Modelle
• Berechenbarkeit
• Gleichungslogik
• Programmverifikation

Skriptum

Das Skriptum (in der 8ten Auflage) ist nächste Woche innerhalb des Universitätsnetzwerks online verfügbar, beziehungsweise bei der Studia erhältlich.

Skriptum (8te Auflage, doppelseitig)

pdf

with solutions

Zusatzmaterial

Zum bessseren Verständnis haben wir Zusatzmaterial zu lex/yacc und parsec erstellt.

• boolA.hs
• calc.l; calc.h und Makefile.

Empfohlene Literatur

J. L. Hein, Discrete Structures, Logic, and Computability, Jones and Bartlett Publishers, 2002.

K. Erk and L. Priese, Theoretische Informatik: Eine umfassende Einführung, Springer Verlag, 2008.

M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2004.

H.-D. Ebbinghaus and J. Flum and W. Thomas, Einführung in die mathematische Logik, Spektrum Akademischer Verlag, 2007.