104.107 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.

2011S, VO, 2.0h, 3.0EC

Properties

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

Aim of course

Unterstanding 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; axiom of choice, cardinality; introduction to computational logic.

Additional information

Beginn am Dienstag, 1.März 2011, 8:30 pünktlich.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue08:30 - 10:0001.03.2011 - 30.06.2011FH Hörsaal 2 GOLDSTERN
Logic and Foundations of Mathematics - Single appointments
DayDateTimeLocationDescription
Tue01.03.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue08.03.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue15.03.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue22.03.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue29.03.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue05.04.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue12.04.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue19.04.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue26.04.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue03.05.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue10.05.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue17.05.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue24.05.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue31.05.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue07.06.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue14.06.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue21.06.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN
Tue28.06.201108:30 - 10:00FH Hörsaal 2 GOLDSTERN

Examination modalities

mündliche Prüfung

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
033 204 Mathematics in Computer Science Mandatory elective
066 400 Mathematics Mandatory
869 Mathematics in Computer Science Mandatory

Literature

Lecture notes for this course are available.

Language

German