Postsches Korrespondenz-Problem, Gruppen: Kopierregeln, Ueberfuehrungsregeln, Loeschregeln Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/26/06 Formate Stream (High...
https://streaming.uni-konstanz.de/vorlesungen/sommersemester-2014/theoretische-grundlagen-der-informatik/inf-2101-20141-2014-06-26-01/
Episode Pumping Lemma, Aequivalenzrelationen und Miniautomaten, Myhill-Nerode-Relation Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/06/05 Formate Stream (High Quality)...
https://streaming.uni-konstanz.de/vorlesungen/sommersemester-2014/theoretische-grundlagen-der-informatik/inf-2101-20141-2014-05-06-01/
Episode RUCKSACK-Problem, PARTITION, BINPACKING, Uebersicht NP-vollstaendige Probleme Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/17/07 Formate Stream (High Quality)...
https://streaming.uni-konstanz.de/vorlesungen/sommersemester-2014/theoretische-grundlagen-der-informatik/inf-2101-20141-2014-07-17-01/
Details zur Episode Baum NP-vollstaendiger Probleme, 3 SAT, SETCOVER, CLIQUE Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/15/07 Formate Stream (High Quality) Stream (Low...
https://streaming.uni-konstanz.de/vorlesungen/sommersemester-2014/theoretische-grundlagen-der-informatik/inf-2101-20141-2014-07-15-01/
keit, Halteproblem/ Unentscheidbarkeit/ Reduzierbarkeit, Aequivalenzen, Evaluation Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/12/06 Formate Stream (High Quality) Stream
https://streaming.uni-konstanz.de/vorlesungen/sommersemester-2014/theoretische-grundlagen-der-informatik/inf-2101-20141-2014-06-12-01/
Wiederholung der Begriffe, Nicht-determ. TM, Reduzierbarkeit, Beweisskizze NP-Haerte Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/01/07 Formate Stream (High Quality)...
https://streaming.uni-konstanz.de/vorlesungen/sommersemester-2014/theoretische-grundlagen-der-informatik/inf-2101-20141-2014-07-01-01/
deterministische endliche Automaten, Satz von Rabin, Scott, Beispiel, Zusammenfassung Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/29/04 Formate Stream (High Quality)...
https://streaming.uni-konstanz.de/vorlesungen/sommersemester-2014/theoretische-grundlagen-der-informatik/inf-2101-20141-2014-04-29-01/
ine, linear beschraenkte Turing-Maschinen, Algorithmus-Defintion, Grammatik-Regeln Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/27/05 Formate Stream (High Quality) Stream
https://streaming.uni-konstanz.de/vorlesungen/sommersemester-2014/theoretische-grundlagen-der-informatik/inf-2101-20141-2014-05-27-01/
Episode SAT-Problem, weitere NP-vollst. Probleme, konjunktive Normalform, 3 KNF-SAT Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/08/07 Formate Stream (High Quality)...
https://streaming.uni-konstanz.de/vorlesungen/sommersemester-2014/theoretische-grundlagen-der-informatik/inf-2101-20141-2014-07-08-01/
itive Sprachen, Mehrdeutige Grammatiken, Endliche Automaten und regulaere Sprachen Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/28/04 Formate Stream (High Quality) Stream
https://streaming.uni-konstanz.de/vorlesungen/sommersemester-2014/theoretische-grundlagen-der-informatik/inf-2101-20141-2014-04-28-01/