Module label  Theoretical Computer Science: Logic 
Modulkürzel  inf400 
Credit points  6.0 KP 
Workload  180 h 
Institute directory  Department of Computing Science 
Verwendbarkeit des Moduls 

Zuständige Personen 
Olderog, ErnstRüdiger (Module responsibility)
Lehrenden, Die im Modul (Prüfungsberechtigt)

Prerequisites  
Skills to be acquired in this module  Introduction to propositional logic, predicate logic, logic programming, and temporal logic Professional competence The students:
Methodological competence The students:
Social competence The students:
Selfcompetence The students:

Module contents  The course introduces propositional, predicate and temporal logic. In computer science it is essential to have a good understanding of logic because the language of logical formulas is widely used in the field of computer science. For example, Boolean expressions appear in every programming language and in circuit design; Horn clauses are used in knowledge representation; predicate logic and temporal logic are used for specifying software and hardware. More recent applications such as interactive and automatic proving as well as the logic programming language PROLOG emphasize the tool character of logic in computer science. The course introduces syntax, semantics, procedures, and calculi to prove the validity of formulas of propositional, predicate, and temporal logic. This is illustrated by many examples. Central is the concept of logical consequence. Topics:

Literaturempfehlungen  Essential:
Recommended:
Good secondary reading:

Links  
Language of instruction  German 
Duration (semesters)  1 Semester 
Module frequency  jährlich 
Module capacity  unlimited 
Modullevel / module level  BC (Basiscurriculum / Base curriculum) 
Modulart / typ of module  Pflicht / Mandatory 
Lehr/Lernform / Teaching/Learning method  V & Ü 
Vorkenntnisse / Previous knowledge 
Form of instruction  Comment  SWS  Frequency  Workload of compulsory attendance 

Lecture  3  SoSe  42  
Exercises  1  SoSe  14  
Präsenzzeit Modul insgesamt  56 h 
Examination  Prüfungszeiten  Type of examination 

Final exam of module  At the end of the lecture period 
written exam or oral exam 