Aktuell

Der Zugang zu den Folien funktioniert. Bei Problemen bitte nochmal melden!

Übungen

1. Übung vom 18. April 2018
2. Übung vom 25. April 2018
3. Übung vom 2. Mai 2018
4. Übung vom 10. Mai 2018
5. Übung vom 16.5.2018
6. Übung vom 23.5.2018
7. Übung vom 31.5.2018
8. Übung vom 14.6.2018
9. Übung vom 21.6.2018
10. Übung vom 28.6.2018

Praktikum

Noch nichts vorhanden

Verwendete Folien und Bilder

Folien der ersten Vorlesung Folien zu Kellerautomaten und Turingmaschinen

Skript

Ein Skript zur Vorlesung wird in unregelmäßigen Abständen hier aktualisiert. Es wird Ihnen empfohlen eine eigene Mitschrift anzufertigen, da noch nicht klar ist, zu welchem Zeitpunkt das Skript vollständig und korrekt zur Verfügung steht.

Literatur

John E. Hopcroft and Rajeev Motwani and Jeffrey D.vUllman, Introduction to Automata Theory, Languages, and Computation, Addison Wesley Publishing Company, 2001
Uwe Schöning, Theoretische Informatik - kurzgefasst, Spektrum Akademischer Verlag, 2001
Michael Sipser, Introduction to the Theory of Computation, Wadsworth Inc Fulfillment, 2. Auflage, 2005}
Juraj Hromkovic, Theoretische Informatik - Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie, 3. Auflage, Teubner, 2007

Hier die Einschätzung eines Hörers der Vorlesung:

Mathematische Grundlagen der Informatik (Meiner, Mundhenk) ist wirklich ausgesprochen hilfreich, wenn man absolut keine Idee zu mathematischen Beweisen hat, da die Konzepte absolut elementar und vor allem umgangssprachlich durchgearbeitet werden. Ich habe so herausgefunden, dass die Ideen hinter den verschiedenen Beweistypen sehr einfach sind und es mir eher an fehlendem Wissen über grundlegende mathematische Regeln und Definitionen fehlt.
Theoretische Informatik (Hromkovic) ist eine ausgesprochen gute Ergänzung zu Ihrem Skript, da die Themen inhaltlich weitgehend über denselben Aufbau und dasselbe Wording verfügen, aber oft zusätzliche Details und Verweise aufzeigen, was im Allgemeinen zu einem besseren Verständnis führt.

Vielleicht hilft diese Einschätzung Ihnen bei der Auswahl der Literatur zu helfen.

Theoretische Informatik