# 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_21",{id:"j_id_21",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_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2023W 2022W 2021W 2020W 2019W 2018W 2017W 2016W 2015W 2014W 2013W 2012W

2022W, 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 English.  The oral exam can be taken in English.s

## 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:0004.10.2022 - 24.01.2023EI 1 Petritsch HS Logik Di
Thu12:00 - 13:0006.10.2022 - 26.01.2023FH Hörsaal 2 logik Do
Logic and Foundations of Mathematics - Single appointments
DayDateTimeLocationDescription
Tue04.10.202211:00 - 13:00EI 1 Petritsch HS Logik Di
Thu06.10.202212:00 - 13:00FH Hörsaal 2 logik Do
Tue11.10.202211:00 - 13:00EI 1 Petritsch HS Logik Di
Thu13.10.202212:00 - 13:00FH Hörsaal 2 logik Do
Tue18.10.202211:00 - 13:00EI 1 Petritsch HS Logik Di
Thu20.10.202212:00 - 13:00FH Hörsaal 2 logik Do
Tue25.10.202211:00 - 13:00EI 1 Petritsch HS Logik Di
Thu27.10.202212:00 - 13:00FH Hörsaal 2 logik Do
Thu03.11.202212:00 - 13:00FH Hörsaal 2 logik Do
Tue08.11.202211:00 - 13:00EI 1 Petritsch HS Logik Di
Thu10.11.202212:00 - 13:00FH Hörsaal 2 logik Do
Thu17.11.202212:00 - 13:00FH Hörsaal 2 logik Do
Tue22.11.202211:00 - 13:00EI 1 Petritsch HS Logik Di
Thu24.11.202212:00 - 13:00FH Hörsaal 2 logik Do
Tue29.11.202211:00 - 13:00EI 1 Petritsch HS Logik Di
Thu01.12.202212:00 - 13:00FH Hörsaal 2 logik Do
Tue06.12.202211:00 - 13:00EI 1 Petritsch HS Logik Di
Tue13.12.202211:00 - 13:00EI 1 Petritsch HS Logik Di
Thu15.12.202212:00 - 13:00FH Hörsaal 2 logik Do
Tue20.12.202211:00 - 13:00EI 1 Petritsch HS Logik Di

Oral exam

Not necessary

## Curricula

Study CodeObligationSemesterPrecon.Info
033 201 Technical Mathematics 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.

German