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.

2018W, 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 2, 2018.  Seminar room, 5th floor of the Freihaus building. 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue10:15 - 11:4502.10.2018Sem.R. DA grün 05 Logik VO 1.Stunde
Thu11:30 - 13:0004.10.2018 - 31.01.2019Hörsaal 15 Logik DO
Tue11:00 - 13:0009.10.2018 - 29.01.2019Sem.R. DA grün 05 Logik Di
Thu12:00 - 13:0011.10.2018Hörsaal 15 Logik VO
Logic and Foundations of Mathematics - Single appointments
DayDateTimeLocationDescription
Tue02.10.201810:15 - 11:45Sem.R. DA grün 05 Logik VO 1.Stunde
Thu04.10.201811:30 - 13:00Hörsaal 15 Logik DO
Tue09.10.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu11.10.201812:00 - 13:00Hörsaal 15 Logik VO
Tue16.10.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu18.10.201811:30 - 13:00Hörsaal 15 Logik DO
Tue23.10.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu25.10.201811:30 - 13:00Hörsaal 15 Logik DO
Tue30.10.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Tue06.11.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu08.11.201811:30 - 13:00Hörsaal 15 Logik DO
Tue13.11.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Tue20.11.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu22.11.201811:30 - 13:00Hörsaal 15 Logik DO
Tue27.11.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu29.11.201811:30 - 13:00Hörsaal 15 Logik DO
Tue04.12.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu06.12.201811:30 - 13:00Hörsaal 15 Logik DO
Tue11.12.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Thu13.12.201811:30 - 13:00Hörsaal 15 Logik DO

Examination modalities

Oral exam

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Accompanying courses

Miscellaneous

Language

German