Übungen mit selbst erstellten Lösungen zur Vorlesung Theoretische Informatik 3 (Sommersemester 2003) bei Dr. Till Nierhoff

In den Übungen werden Aufgaben zu RAM, SAT, bipartiten Graphen, Vertex Cover, Bin Packing, Clique, Independent Set, 3SAT, DHC, Knapsack, NTM, Task Scheduling, NP-Vollständigkeit, Approximationsalgorithmen, MaxCut und Machine Scheduling gelöst.
Dateien
Mitschrift zur Vorlesung Theoretische Informatik 2 (Wintersemester 2002/2003) bei Dr. Till Nierhoff, sowie Übungen mit selbst erstellten Lösungen

In den Übungen werden Aufgaben zu Turingmaschinen, Groß-O-Notation, rekursive Aufzählbarkeit, Reduktion, Chomsky-Grammatiken, DFA, NFA und Graphentheorie gelöst.
Die Mitschrift ist angereichert mit ein paar Beispielen aus der Übung und Ergänzungen aus Sekundärliteratur, sowie Literaturangaben. Ich möchte mich an dieser Stelle herzlich bei all denen bedanken, die mir geduldig Woche für Woche Verbesserungsvorschläge geschickt und meine Fehler verbessert haben.
Themen der Mitschrift sind Turingmaschinen, Entscheidbarkeit, Chomsky-Grammatiken, reguläre Sprachen, kontextfreie Sprachen, Graphen, Greedy-Algorithmen, dynamische Programmierung und eine Einführung in die Graphentheorie.
Dateien
letzte Kommentare