104.340 Logic and Foundations of Mathematics
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021W, VO, 3.0h, 4.5EC
Lecture TubeTUWEL


  • Semester hours: 3.0
  • Credits: 4.5
  • Type: VO Lecture
  • LectureTube course
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to explain and to judiciously apply the following concepts: propositional and predicate calculus, the proof calculus discussed in the lecture (in particular the role of the subsitution axiom as well as metatheorems such as introduction of quantifiers), semantic and syntactic consistency, compactness of propositional and first order predicate logic, unification algorithm and resolution  algorithm (and its compleness), ZFC axioms (in particular the role of AC), models and counterexamples to small fragments of ZFC, well orders and ordinal numbers. 

Subject of course

Propositional logic, first order predicate logic, completeness theorem; ZFC-Axioms; axiom of choice, cardinality; introduction to computational logic.

Teaching methods


Lecture at the blackboard, supplemented by lecture notes. Moreover: Answers to students' questions.


Mode of examination


Additional information

Die Vorlesung wird voraussichtlich (hoffentlich) in Präsenz stattfinden, und zwar voraussichtlich Di 11-13 und Do 12-13,  die UE Do 11-12.  

Bitte tragen Sie sich in den tuwel-Kurs zur VO ein - erstens, um Nachrichten über eventuelle (Termin-)Änderungen zu bekommen, zweitens, um mir eine Idee zu geben, wie viele Studierende ich erwarten kann. 




Course dates

Tue11:00 - 13:0005.10.2021 - 25.01.2022FH Hörsaal 2 logik-vo
Thu12:00 - 13:0007.10.2021 - 27.01.2022FH Hörsaal 2 logik Do
Logic and Foundations of Mathematics - Single appointments
Tue05.10.202111:00 - 13:00FH Hörsaal 2 logik-vo
Thu07.10.202112:00 - 13:00FH Hörsaal 2 logik Do
Tue12.10.202111:00 - 13:00FH Hörsaal 2 logik-vo
Thu14.10.202112:00 - 13:00FH Hörsaal 2 logik Do
Tue19.10.202111:00 - 13:00FH Hörsaal 2 logik-vo
Thu21.10.202112:00 - 13:00FH Hörsaal 2 logik Do
Thu28.10.202112:00 - 13:00FH Hörsaal 2 logik Do
Thu04.11.202112:00 - 13:00FH Hörsaal 2 logik Do
Tue09.11.202111:00 - 13:00FH Hörsaal 2 logik-vo
Thu11.11.202112:00 - 13:00FH Hörsaal 2 logik Do
Tue16.11.202111:00 - 13:00FH Hörsaal 2 logik-vo
Thu18.11.202112:00 - 13:00FH Hörsaal 2 logik Do
Tue23.11.202111:00 - 13:00FH Hörsaal 2 logik-vo
Thu25.11.202112:00 - 13:00FH Hörsaal 2 logik Do
Tue30.11.202111:00 - 13:00FH Hörsaal 2 logik-vo
Thu02.12.202112:00 - 13:00FH Hörsaal 2 logik Do
Tue07.12.202111:00 - 13:00FH Hörsaal 2 logik-vo
Thu09.12.202112:00 - 13:00FH Hörsaal 2 logik Do
Tue14.12.202111:00 - 13:00FH Hörsaal 2 logik-vo
Thu16.12.202112:00 - 13:00FH Hörsaal 2 logik Do

Examination modalities

Oral exam

Course registration

Begin End Deregistration end
21.10.2021 00:00 21.10.2021 23:59



No lecture notes are available.

Accompanying courses

Continuative courses