About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Winter Term 2011/12  -  Logic

Course title:  Logic

Lecturer:   Prof. Steffen Hölldobler

Module:  MCL-F

Status:  foundation unit

SWS (lecture/tutorial/practical):  2/2/0

Examination method:  written examination


Course description:

This course will introduce you to propositional logic and first-order predicate logic. After recalling syntax and semantics we will cover some basic concepts like normal forms, substitution and unification. You will be introduced to proof procedures such as the resolution calculus and related concepts such as soundness, completeness and decidability.


Additional information: