Erscheinungsjahr 2016 30 2015 34 2014 16 2013 3 2012 4 2011 4 2010 2 2009 2 alle zeigenListe einklappen
18 - Prädikatenlogik Syntax & SemantikTeil 2 : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
19 - Prädikatenlogische Normalformen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
11 - Aufzählbarkeit und (Un-)Entscheidbarkeit : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
3 - DFAs und NFAs : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
11 - Flüsse : Algorithmen und Datenstrukturen Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
2 - Endl. Automaten und reguläre Sprachen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
14 - Folgerbarkeit, Äquivalenzen und Normalformen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
24 - NP-Vollständigkeit : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
1 - Endliche Automaten : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
8 - Eigensch. & Grenzen kontexfreier Sprachen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
23 - P un NP : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
22 - Zeit- und Platzkomplexität : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
26 - Zusammenfassung : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
6 - Abschlusseigenschaften & Grenzen regulärer Sprachen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
12 - Aufzählbarkeit und (Un-)Entscheidbarkeit Teil 2 und Wiederholung der ersten 12 Vorlesungen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
17 - Prädikatenlogik Syntax & Semantik : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
16 - Resolution : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
9 - Turing Maschinen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
5 - Abschlusseigenschaften : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich