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 Translation missing. German original: Studienleistung: Erreichen von mindestens 50 Prozent der Punkte aus den wöchentlich zu bearbeitenden Übungsaufgaben und mündliche Präsentation der Lösung von mindestens zwei der Übungsaufgaben. Prüfungsleistung: Klausur 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

Translation is missing. Here is the German original:

Keine. Empfohlen werden die Kompetenzen, die in den Modulen Grundlagen der Linearen Algebra vermittelt werden.

• 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.