# 104.340 Logic and Foundations of Mathematics This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_20",{id:"j_id_20",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_22",{id:"j_id_22",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2021W 2020W 2019W 2018W 2017W 2016W 2015W 2014W 2013W 2012W

2021W, VO, 3.0h, 4.5EC

## Properties

• 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

Oral

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

DayTimeDateLocationDescription
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
DayDateTimeLocationDescription
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

Oral exam

## Course registration

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

## Literature

No lecture notes are available.

German