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.

2014W, 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: Tue Oct 7, 2014

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue11:15 - 12:4507.10.2014FH Hörsaal 4 logik goldstern
Thu11:00 - 12:2009.10.2014 - 29.01.2015FH 8 Nöbauer HS - MATH Logik VO
Tue11:50 - 13:0014.10.2014 - 27.01.2015Sem.R. DA grün 05 VO Termin
Logic and Foundations of Mathematics - Single appointments
DayDateTimeLocationDescription
Tue07.10.201411:15 - 12:45FH Hörsaal 4 logik goldstern
Thu09.10.201411:00 - 12:20FH 8 Nöbauer HS - MATH Logik VO
Tue14.10.201411:50 - 13:00Sem.R. DA grün 05 VO Termin
Thu16.10.201411:00 - 12:20FH 8 Nöbauer HS - MATH Logik VO
Tue21.10.201411:50 - 13:00Sem.R. DA grün 05 VO Termin
Thu23.10.201411:00 - 12:20FH 8 Nöbauer HS - MATH Logik VO
Tue28.10.201411:50 - 13:00Sem.R. DA grün 05 VO Termin
Thu30.10.201411:00 - 12:20FH 8 Nöbauer HS - MATH Logik VO
Tue04.11.201411:50 - 13:00Sem.R. DA grün 05 VO Termin
Thu06.11.201411:00 - 12:20FH 8 Nöbauer HS - MATH Logik VO
Tue11.11.201411:50 - 13:00Sem.R. DA grün 05 VO Termin
Thu13.11.201411:00 - 12:20FH 8 Nöbauer HS - MATH Logik VO
Tue18.11.201411:50 - 13:00Sem.R. DA grün 05 VO Termin
Thu20.11.201411:00 - 12:20FH 8 Nöbauer HS - MATH Logik VO
Tue25.11.201411:50 - 13:00Sem.R. DA grün 05 VO Termin
Thu27.11.201411:00 - 12:20FH 8 Nöbauer HS - MATH Logik VO
Tue02.12.201411:50 - 13:00Sem.R. DA grün 05 VO Termin
Thu04.12.201411:00 - 12:20FH 8 Nöbauer HS - MATH Logik VO
Tue09.12.201411:50 - 13:00Sem.R. DA grün 05 VO Termin
Thu11.12.201411:00 - 12:20FH 8 Nöbauer HS - MATH Logik VO

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