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.

2017W, VO, 3.0h, 4.5EC

Properties

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

Aim of course

Understanding the basic notions of mathematical logic and the realization that (formal) proofs can be the object of mathematical study.

Subject of course

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

Additional information

First lecture: Oct 3, 2017.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue10:00 - 12:0003.10.2017Sem.R. DA grün 05 Di 3.10.
Thu11:30 - 13:0005.10.2017 - 25.01.2018Hörsaal 15 Logik DO
Tue10:55 - 12:1010.10.2017 - 23.01.2018Sem.R. DA grün 05 Logik Di
Thu12:00 - 13:0012.10.2017Hörsaal 15 Logik VO
Logic and Foundations of Mathematics - Single appointments
DayDateTimeLocationDescription
Tue03.10.201710:00 - 12:00Sem.R. DA grün 05 Di 3.10.
Thu05.10.201711:30 - 13:00Hörsaal 15 Logik DO
Tue10.10.201710:55 - 12:10Sem.R. DA grün 05 Logik Di
Thu12.10.201712:00 - 13:00Hörsaal 15 Logik VO
Tue17.10.201710:55 - 12:10Sem.R. DA grün 05 Logik Di
Tue24.10.201710:55 - 12:10Sem.R. DA grün 05 Logik Di
Tue31.10.201710:55 - 12:10Sem.R. DA grün 05 Logik Di
Tue07.11.201710:55 - 12:10Sem.R. DA grün 05 Logik Di
Thu09.11.201711:30 - 13:00Hörsaal 15 Logik DO
Tue14.11.201710:55 - 12:10Sem.R. DA grün 05 Logik Di
Thu16.11.201711:30 - 13:00Hörsaal 15 Logik DO
Tue21.11.201710:55 - 12:10Sem.R. DA grün 05 Logik Di
Thu23.11.201711:30 - 13:00Hörsaal 15 Logik DO
Tue28.11.201710:55 - 12:10Sem.R. DA grün 05 Logik Di
Thu30.11.201711:30 - 13:00Hörsaal 15 Logik DO
Tue05.12.201710:55 - 12:10Sem.R. DA grün 05 Logik Di
Thu07.12.201711:30 - 13:00Hörsaal 15 Logik DO
Tue12.12.201710:55 - 12:10Sem.R. DA grün 05 Logik Di
Thu14.12.201711:30 - 13:00Hörsaal 15 Logik DO
Tue19.12.201710:55 - 12:10Sem.R. DA grün 05 Logik Di

Examination modalities

Oral exam

Course registration

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.

Accompanying courses

Miscellaneous

Language

German