Formale Grundlagen der Informatik
  • Home
    • Motivation
    • Skript
    • Annotieren
    • Übungen
    • Literatur
  • Automatentheorie
    • Motivation
    • Endliche Automaten
      • Einleitung
      • Formale Sprachen
      • Der DFA
      • Sprachen akzeptieren mit dem DFA
      • DFAs konstruieren
      • NFAs
      • NFAs vs. DFAs
      • Abschlusseigenschaften
      • Grenzen der regulären Sprachen
    • Grammatiken
    • Turingmaschinen
      • Einleitung
      • Die DTM
      • Funktionen berechnen
      • Die Church-Turing-These
      • Varianten der Turinmaschine
      • Entscheidbarkeit und Aufzählbarkeit
      • Unentscheidbarkeit (und darüberhinaus)
    • Komplexitätstheorie
      • Einleitung
      • Zeit- und Platzkomplexität
      • P und NP
      • NP-Vollständigkeit
  • Logik
    • Motivation
    • Aussagenlogik
      • Einleitung
      • Syntax
        • Definition Syntax
        • Strukturelle Rekursion
        • Strukuturelle Induktion
        • Kurz und Knapp
      • Semantik
    • Prädikatenlogik
    • Zusammenfassung
  • Impressum
  • Home
    • Motivation
    • Skript
    • Annotieren
    • Übungen
    • Literatur
  • Automatentheorie
    • Motivation
    • Endliche Automaten
      • Einleitung
      • Formale Sprachen
      • Der DFA
      • Sprachen akzeptieren mit dem DFA
      • DFAs konstruieren
      • NFAs
      • NFAs vs. DFAs
      • Abschlusseigenschaften
      • Grenzen der regulären Sprachen
    • Grammatiken
    • Turingmaschinen
      • Einleitung
      • Die DTM
      • Funktionen berechnen
      • Die Church-Turing-These
      • Varianten der Turinmaschine
      • Entscheidbarkeit und Aufzählbarkeit
      • Unentscheidbarkeit (und darüberhinaus)
    • Komplexitätstheorie
      • Einleitung
      • Zeit- und Platzkomplexität
      • P und NP
      • NP-Vollständigkeit
  • Logik
    • Motivation
    • Aussagenlogik
      • Einleitung
      • Syntax
        • Definition Syntax
        • Strukturelle Rekursion
        • Strukuturelle Induktion
        • Kurz und Knapp
      • Semantik
    • Prädikatenlogik
    • Zusammenfassung
  • Impressum

Automatentheorie

  • Home
  • Automatentheorie
    • Automatentheorie
    • Home
      • Annotieren
      • Impressum
      • Literatur
      • Motivation
      • Skript
      • Übungen
    • Logik