Module label  Theoretical Computer Science: Logic 
Module code  inf400 
Credit points  6.0 KP 
Workload  180 h 
Faculty/Institute  Department of Computing Science 
Used in course of study 

Contact person 

Entry requirements  
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  BC (Basiscurriculum / Base curriculum) 
Modulart  Pflicht / Mandatory 
Lern/Lehrform / Type of program  V & Ü 
Vorkenntnisse / Previous knowledge 
Course type  Comment  SWS  Frequency  Workload attendance 

Lecture  3.00  SuSe  42 h  
Exercise or tutorial  1.00  SuSe  14 h  
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 