inf400  Theoretical Computer Science: Logic (Complete module description)
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 

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

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.

Recommended reading  Essential: Script "Logik" (in German), in its current edition 
Links  
Language of instruction  German 
Duration (semesters)  1 Semester 
Module frequency  annual 
Module capacity  unlimited 
Teaching/Learning method  V+Ü 
Previous knowledge  Nützliche Vorkenntnisse: Grundlagen der Mengenlehre, Definition von Funktionen und Relationen 
Type of course  Comment  SWS  Frequency  Workload of compulsory attendance 

Lecture  3  SuSe  42  
Exercises  1  SuSe  14  
Total module attendance time  56 h 
Examination  Prüfungszeiten  Type of examination 

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