strukturelle Induktion, Berechnung via Stick, Implementierung der Stack-Operationen Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/10/06 Formate Stream (High Quality)...
re Probleme, allgemeines Halteproblem, Halteproblem auf leerem Band, Satz von Rice Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/17/06 Formate Stream (High Quality) Stream
Definition von Berechenbarkeit, DIV und MOD, Goto/While/TM/Loop, Goto Programm P2, Endphase Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/05/06 Formate Stream (High...
Episode K 1 2011 Aufg. 4, K 1 SS 11 Aufg. 6, subset sum (ss), Partition, NP-Haerte Prof. Dr. Dietmar Saupe Theoretische Grundlagen der Informatik Datum: 2014/10/07 Formate Stream (High Quality) Stream
Klima Prof. Dr. Gerd Ganteför Fachbereich Physik Theoretische Grundlagen der Informatik Prof. Dr. Dietmar Saupe Fachbereich Informatik und Informationswissenschaft Numerik gewöhnlicher...
Markus Gruber PD Dr. Andreas Kramer Dr. Dietmar Lüchtenberg Dr. Maria Moreno-Villanueava Prof. Dr. Manfred Vieten Prof. em. Dr. Hartmut Riehle Prof. Dr. Dietmar Saupe E-Mail schreiben
Diskrete Strukturen PD Dr. Sven Kosub Stream Theoretische Grundlagen der Informatik Prof. Dr. Dietmar Saupe Stream Vorlesungen Wintersemester 2013/2014 Betriebssysteme und systemnahe Programmierung...