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.

2019W, VO, 3.0h, 4.5EC


  • Semester hours: 3.0
  • Credits: 4.5
  • Type: VO Lecture

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

First lecture: Oct 2, 2018.  Seminar room, 5th floor of the Freihaus building. 



Course dates

Tue11:00 - 13:0001.10.2019 - 28.01.2020Sem.R. DA grün 05 Logik Di
Thu12:00 - 13:0003.10.2019 - 30.01.2020Hörsaal 15 VO Do
Logic and Foundations of Mathematics - Single appointments
Tue01.10.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu03.10.201912:00 - 13:00Hörsaal 15 VO Do
Tue08.10.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu10.10.201912:00 - 13:00Hörsaal 15 VO Do
Tue15.10.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu17.10.201912:00 - 13:00Hörsaal 15 VO Do
Tue22.10.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu24.10.201912:00 - 13:00Hörsaal 15 VO Do
Tue29.10.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu31.10.201912:00 - 13:00Hörsaal 15 VO Do
Tue05.11.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu07.11.201912:00 - 13:00Hörsaal 15 VO Do
Tue12.11.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu14.11.201912:00 - 13:00Hörsaal 15 VO Do
Tue19.11.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu21.11.201912:00 - 13:00Hörsaal 15 VO Do
Tue26.11.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu28.11.201912:00 - 13:00Hörsaal 15 VO Do
Tue03.12.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu05.12.201912:00 - 13:00Hörsaal 15 VO Do

Examination modalities

Oral exam

Course registration

Not necessary



No lecture notes are available.

Accompanying courses