Einrichtung Department Informatik, Hochschule für Angewandte Wissenschaften Hamburg
Studiengang Bachelor Angewandte Informatik (B-AI)
Semester Sommersemester 2010
Veranstaltung Logik und Berechenbarkeit (LB)
Veranstaltungsart Vorlesung und Praktikum
Dozent(in) Prof. Dr. Christoph Klauck
Themen
  • Logik: Syntax, Semantik, Äquivalenzumformungen, Wahrheitstabellen, kon-/disjunktive Normalform, Erfüllbarkeit, Resolations-/Tableaukalküle, Unifikation, Resolution
  • Logiken: Aussagenlogik, Hornlogik, Prädikatenlogik, Partielle Logik, Modale Logik, Temporale Logik, Dynamische Logik
  • Prolog: Fakten/Regeln/Fragen, Backtracking, Cut, Open/Closed World Assumption, Unifikation, Resolution
  • Berechenbarkeit: Turing-Maschine, Loop, While, Goto
  • Entscheidbar, semi-entscheidbar, rekursiv aufzählbar, Halteproblem, Landau-Notation, Komplexitätsklassen P und NP, NP-vollständig
Sprachen Prolog, TeX
IDE SWI-Prolog
ECTS Credit Points 6
Prüfungsleistung Klausur
Note(n) 10 LP (2-)

Robin C. Ladiges / B-AI / LB

Flagge der USA