Skript
Rekursive Funktionen (neu erstellt 19.4.2013)
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”.
Repräsentierbarkeit in der Theorie der Arithmetik
Dieser Artikel gibt einen Überblick über die arithmetische Repräsentierbarkeit berechenbarer Funktionen und ihre Konsequenzen für die Logik. Er ist gedacht als Ergänzung der sehr knappen Abhandlung dieser Thematik in der Vorlesung “Einführung in die Theoretische Informatik II”. Er enthält auch ein ergänzendes Kapitel zu den Unvollständigkeitssätzen der Logik.
Elementare Berechenbarkeitstheorie
Dieser Artikel gibt eine kurze Einführung in die Elementare Berechenbarkeitstheorie. Er dient als Ergänzung der Einheiten 5.4 & 5.5.
Grundbegriffe der Graphentheorie
Zusammenfassung der wesentlichen Begriffe; die benutzte Notation entspricht der Notation der Vorlesung.
Komplexitaetstheorie
Dieser Artikel gibt einen kurzen Ueberblick in die Grundkonzepte der Komplexitaetstheorie und das P-NP Problem. Er ist gedacht als Ergaenzung der Einheiten 6.1-6.3