German original

# Logic (dt. Logik)

 Level, degree of commitment in original study programme Intermediate module, required module Forms of teaching and learning,workload Lecture (4 SWS), recitation class (2 SWS), 270 hours (90 h attendance, 180 h private study) Credit points,formal requirements 9 CP Course requirement: Successful completion of at least 50 percent of the points from the weekly exercises as well as at least 2 presentations of the tasks. Examination type: Written examination Language,Grading German,The grading is done with 0 to 15 points according to the examination regulations for study course B.Sc. Computer Sciences. Original study programme B.Sc. Informatik / Informatik Aufbaumodule Duration,frequency One semester, each winter semester Person in charge of the module's outline Prof. Dr. H.-Peter Gumm

## Contents

• propositional logic (syntax and semantics, equivalence and normal forms, satisfiability, proof calculi, correctness and completeness)
• predicate logic (syntax and semantics, undecidability, equivalence and normal forms, optionally: horn formulas and resolution, proof calculi, correctness and completeness, unification)
• Applications, e.g: Logic Programming, SAT Algorithms, Modal and Temporal Logic

## Qualification Goals

The students shall

• understand the algorithmic handling of logic questions,
• understand the structure of a logical system,
• understand the expressiveness of a logical system,
• To recognize structures of logic in computer science,
• practice mathematical working methods (development of mathematical intuition and its formal justification, training of abstraction and proving),
• improve their oral communication skills in the exercises by practicing free speech in front of an audience and during discussion.

## Prerequisites

None. The competences taught in the following module are recommended: Basic Linear Algebra.

• M. Huth, M. Ryan: Logic in Computer Science, Cambridge Univ. Press 2004.
• M. Ben-Ari: Mathematical Logic for Computer Science, Springer 2001.
• Uwe Schöning: Logik für Informatiker, Spektrum Verlag 2005.
• M. Kreuzer, S. Kühling: Logik für Informatiker, Pearson Studium 2006.