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

Prerequisites  Useful prerequisites: set theory, functions and relations 
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.

Literaturempfehlungen  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+Ü 
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 