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.

2015W, 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 1, 2015

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu12:00 - 13:1001.10.2015 - 28.01.2016FH Hörsaal 4 Logik VO, Do
Tue11:35 - 13:0006.10.2015FH Hörsaal 4 logik goldstern
Tue11:35 - 13:0013.10.2015 - 26.01.2016Sem.R. DA grün 05 VO Termin
Logic and Foundations of Mathematics - Single appointments
DayDateTimeLocationDescription
Thu01.10.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do
Tue06.10.201511:35 - 13:00FH Hörsaal 4 logik goldstern
Thu08.10.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do
Tue13.10.201511:35 - 13:00Sem.R. DA grün 05 VO Termin
Thu15.10.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do
Tue20.10.201511:35 - 13:00Sem.R. DA grün 05 VO Termin
Thu22.10.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do
Tue27.10.201511:35 - 13:00Sem.R. DA grün 05 VO Termin
Thu29.10.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do
Tue03.11.201511:35 - 13:00Sem.R. DA grün 05 VO Termin
Thu05.11.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do
Tue10.11.201511:35 - 13:00Sem.R. DA grün 05 VO Termin
Thu12.11.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do
Tue17.11.201511:35 - 13:00Sem.R. DA grün 05 VO Termin
Thu19.11.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do
Tue24.11.201511:35 - 13:00Sem.R. DA grün 05 VO Termin
Thu26.11.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do
Tue01.12.201511:35 - 13:00Sem.R. DA grün 05 VO Termin
Thu03.12.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do
Thu10.12.201512:00 - 13:10FH Hörsaal 4 Logik VO, Do

Examination modalities

Oral exam

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
066 394 Technical Mathematics Mandatory
860 GW Optional Courses - Technical Mathematics Not specified

Literature

No lecture notes are available.

Accompanying courses

Miscellaneous

Language

German