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

  • Home
  • Uncategorized / Zusammenfassung Logik

Zusammenfassung Logik

  • Posted On 1 Aug 2015
  • By fgi1
  • In Uncategorized
  • Prädikatenlogik
      • Automatentheorie
      • Home
        • Annotieren
        • Impressum
        • Literatur
        • Motivation
        • Skript
        • Übungen
      • Logik