On July 30th, 2024, due to an important database update, there will be service interruptions in the Student Self-Service and Workforce Management areas between 8 AM and 11 AM. Thank you for your understanding.

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.

2024W, VO, 3.0h, 4.5EC

Properties

  • Semester hours: 3.0
  • Credits: 4.5
  • Type: VO Lecture
  • 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. 

Note that the course is given in German.  The oral exam can be taken in English.

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

Oral

Additional information

 

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue11:00 - 13:0001.10.2024 - 21.01.2025FH Hörsaal 2 logik Di
Thu11:00 - 12:0003.10.2024 - 23.01.2025FH Hörsaal 2 logik Do
Logic and Foundations of Mathematics - Single appointments
DayDateTimeLocationDescription
Tue01.10.202411:00 - 13:00FH Hörsaal 2 logik Di
Thu03.10.202411:00 - 12:00FH Hörsaal 2 logik Do
Tue08.10.202411:00 - 13:00FH Hörsaal 2 logik Di
Thu10.10.202411:00 - 12:00FH Hörsaal 2 logik Do
Tue15.10.202411:00 - 13:00FH Hörsaal 2 logik Di
Thu17.10.202411:00 - 12:00FH Hörsaal 2 logik Do
Tue22.10.202411:00 - 13:00FH Hörsaal 2 logik Di
Thu24.10.202411:00 - 12:00FH Hörsaal 2 logik Do
Tue29.10.202411:00 - 13:00FH Hörsaal 2 logik Di
Thu31.10.202411:00 - 12:00FH Hörsaal 2 logik Do
Tue05.11.202411:00 - 13:00FH Hörsaal 2 logik Di
Thu07.11.202411:00 - 12:00FH Hörsaal 2 logik Do
Tue12.11.202411:00 - 13:00FH Hörsaal 2 logik Di
Thu14.11.202411:00 - 12:00FH Hörsaal 2 logik Do
Tue19.11.202411:00 - 13:00FH Hörsaal 2 logik Di
Thu21.11.202411:00 - 12:00FH Hörsaal 2 logik Do
Tue26.11.202411:00 - 13:00FH Hörsaal 2 logik Di
Thu28.11.202411:00 - 12:00FH Hörsaal 2 logik Do
Tue03.12.202411:00 - 13:00FH Hörsaal 2 logik Di
Thu05.12.202411:00 - 12:00FH Hörsaal 2 logik Do

Examination modalities

Oral exam

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
033 201 Technical Mathematics Mandatory elective
033 521 Informatics Mandatory elective
066 394 Technical Mathematics Mandatory
860 GW Optional Courses - Technical Mathematics Not specified

Literature

No lecture notes are available.

Previous knowledge

Vertrautheit mit der mathematischen Methode: präzise Definitionen,hinreichend ausführliche Beweise. 

Accompanying courses

Miscellaneous

Language

German