Module label  Theoretical Computer Science: Logic 
Module code  inf400 
Credit points  6.0 KP 
Workload  180 h 
Institute directory  Department of Computing Science 
Applicability of the module 

Responsible persons 
Olderog, ErnstRüdiger (Module responsibility)
Lehrenden, Die im Modul (Authorized examiners)

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:

Reader's advisory  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 
Course type  Comment  SWS  Frequency  Workload of compulsory attendance 

Lecture  3  SuSe  42  
Exercises  1  SuSe  14  
Total time of attendance for the module  56 h 
Examination  Time of examination  Type of examination 

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