Skript

Warum Grundlagen lernen?

Eine kurze Abhandlung ueber Sinn und Zweck von theoretischen Grundlagen

Rekursive Funktionen

Dieser Artikel gibt einen Überblick über die primitiv- und mu-rekursiven Funktionen. Er ist gedacht als Hintergrundmaterial zur Ergänzung der relativ knappen Abhandlung in der Vorlesung “Einführung in die Theoretische Informatik II”.

Der Lambda-Kalkül

Dieser Artikel gibt einen Überblick über den lambda-Kalkül. Er ist gedacht als Hintergrundmaterial zur Ergänzung der relativ knappen Abhandlung in der Vorlesung “Einführung in die Theoretische Informatik II”.

Repraesentierbarkeit in der Theorie der Arithmetik

Dieser Artikel gibt einen Ueberblick ueber die arithmetische Repraesentierbarkeit berechenbarer Funktionen und ihre Konsequenzen fuer die Logik. Er ist gedacht als Ergaenzung der sehr knappen Abhandlung dieser Thematik in der Vorlesung “Einfuehrung in die Theoretische Informatik II”. Er enthaelt auch ein ergaenzendes Kapitel zu den Unvollstaendigkeitssaetzen der Logik.

Elementare Berechenbarkeitstheorie

Dieser Artikel gibt eine kurze Einfuehrung in die Elementare Berechenbarkeitstheorie. Er dient als Ergaenzung der Einheiten 5.4 & 5.5.

Grundbegriffe der Graphentheorie

Zusammenfassung der wesentlichen Begriffe; die benutzte Notation entspricht der Notation der Vorlesung.