Aktuell

Fragestunde am 20.7. um 16:15 vermutlich online.

Übungen

1. Übungsblatt vom 15.4.2021
2. Übungsblatt vom 29.4.2021
3. Übungsblatt vom 4.5.2021
4. Übungsblatt vom 10.5.2021
5. Übungsblatt vom 20.5.2021
6. Übungsblatt vom 27.5.2021
7. Übungsblatt vom 8.6.2021
8. Übungsblatt vom 15.6.2021
Ein paar zusätzliche Demoaufgaben zur Vorbereitung
9. Übungsblatt vom 24.6.2021
10. Übungsblatt vom 1.7.2021

Praktikum

Noch nichts vorhanden

Verwendete Folien und Bilder

Folien zur ersten Vorlesung

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 (ehemaligen) Hörers der Vorlesung:

Mathematische Grundlagen der Informatik (Meinel, 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.
Der angesprochene 4. Punkte-Plan von Polya zum Lösen von Problemen findet sich sogar in der Wikipedia.

Theoretische Informatik