Content jump to the navigation

Institution	Department of Computer Science, Hamburg University of Applied Sciences
Degree program	B.Sc. Applied Computer Science (B-AI)
Semester	Summer semester 2010
Course	Logic and Computation (LB)
Course type	lecture and practical training
Lecturer	Prof. Dr. Christoph Klauck
Topics	Logic: syntax, semantics, equivalence transformations, truth tables, con-/disjunctive normal form, satisfiability, resolution/tableau calculus, unification, resolution Logics: Propositional calculus, horn logic, predicate logic, partial logic, modal logic, temporal logic, dynamic logic Prolog: facts/rules/queries, backtracking, cut, open/closed world assumption, unification, resolution Computability: Turing machine, Loop, While, Goto decidable, semidecidable, recursively enumerable, halting problem, big O notation, complexity classes P and NP, NP-complete
Languages	Prolog, TeX
IDE	SWI-Prolog
ECTS Credit Points	6
Examination type	written test
Grade(s)	10 LP (2-)