Logic
- Faculty
Faculty of Engineering and Computer Science
- Version
Version 1 of 07.01.2026.
- Module identifier
11B1470
- Module level
Bachelor
- Language of instruction
German
- ECTS credit points and grading
5.0
- Module frequency
irregular
- Duration
1 semester
- Brief description
Logical reasoning is the central basis for gaining knowledge. Formal semantics can be used to formalize statements and derivations. In this module, students learn the mathematical foundation of various logic concepts and their practical application in logic programming and rule-based systems. By assigning the module to Theoretical Computer Science, this module may open up the possibility of fulfilling increased requirements in this area when transferring to a Master's degree course.
- Teaching and learning outcomes
- Syntax and semantics of propositional logic
- Syntax and semantics of predicate logic
- Normal forms
- Logical reasoning
- Unification
- Prolog
- Rule-based systems
- Overall workload
The total workload for the module is 150 hours (see also "ECTS credit points and grading").
- Teaching and learning methods
Lecturer based learning Workload hours Type of teaching Media implementation Concretization 30 Lecture - 30 Learning in groups / Coaching of groups - Lecturer independent learning Workload hours Type of teaching Media implementation Concretization 90 Preparation/follow-up for course work -
- Graded examination
- oral exam or
- Homework / Assignment
- Ungraded exam
- Field work / Experimental work
- Exam duration and scope
Graded examination performance:
Oral examination: see general section of the examination regulations
Term paper: at least 15 pages
Ungraded examination performance:Experimental work: weekly assignment sheets with exercises
- Recommended prior knowledge
Good knowledge of object-oriented programming
Basic knowledge of database development and use
- Knowledge Broadening
Students who have successfully completed this module know different ways of formally describing facts and are familiar with the concepts of logic programming.
- Knowledge deepening
Students who have successfully completed this module will be able to use propositional logic and predicate logic for specification and systematically derive logical conclusions.
- Knowledge Understanding
Students who have successfully completed this module can formalize logical relationships and can program using logical rules.
- Application and Transfer
Students who have successfully completed this module will be able to formalize logical relationships and implement them in programs with the help of logical rules.
- Communication and Cooperation
Students who have successfully completed this module will be able to distinguish between informal and formal argumentation and explain the differences.
- Academic Self-Conception / Professionalism
Students who have successfully completed this module can assess the possible applications of deductive systems and can evaluate the limits of the possible applications of logic.
- Literature
Schöning, U, Logik für Informatiker, Spektrum Verlag, 2000
Zegarelli, M., Logik für Dummies, Wiley, 2016
Apt, K., de Boer, F., Olderog, E.-R., Verification of Sequential and Concurrent Programs, Springer, 2010
Clocksin, W. F., Programming in Prolog, Springer, 1990
Bramer, M., Logic Programming with Prolog, Springer, 2013
Salatino, M., De Maio, M.; Mastering JBoss Drools, Packt Publishing, 2016
- Applicability in study programs
- Computer Science and Media Applications
- Computer Science and Media Applications B.Sc. (01.09.2025)
- Computer Science and Computer Engineering
- Computer Science and Computer Engineering B.Sc. (01.09.2025)
- Person responsible for the module
- Kleuker, Stephan
- Teachers
- Kleuker, Stephan