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.

2013W, 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

Beginn 1.10. 2013, 11:15, voraussichtlich im Sem 325/1 (Freihaus 4.Stock, gelber Bereich).

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue11:15 - 12:4501.10.2013FH Hörsaal 4 logik goldstern
Thu10:30 - 12:3003.10.2013 - 16.01.2014FH 8 Nöbauer HS - MATH Logik VO
Tue11:00 - 13:0008.10.2013 - 21.01.2014Sem.R. DA grün 05 VO Termin
Logic and Foundations of Mathematics - Single appointments
DayDateTimeLocationDescription
Tue01.10.201311:15 - 12:45FH Hörsaal 4 logik goldstern
Thu03.10.201310:30 - 12:30FH 8 Nöbauer HS - MATH Logik VO
Tue08.10.201311:00 - 13:00Sem.R. DA grün 05 VO Termin
Thu10.10.201310:30 - 12:30FH 8 Nöbauer HS - MATH Logik VO
Tue15.10.201311:00 - 13:00Sem.R. DA grün 05 VO Termin
Thu17.10.201310:30 - 12:30FH 8 Nöbauer HS - MATH Logik VO
Tue22.10.201311:00 - 13:00Sem.R. DA grün 05 VO Termin
Thu24.10.201310:30 - 12:30FH 8 Nöbauer HS - MATH Logik VO
Tue29.10.201311:00 - 13:00Sem.R. DA grün 05 VO Termin
Thu31.10.201310:30 - 12:30FH 8 Nöbauer HS - MATH Logik VO
Tue05.11.201311:00 - 13:00Sem.R. DA grün 05 VO Termin
Thu07.11.201310:30 - 12:30FH 8 Nöbauer HS - MATH Logik VO
Tue12.11.201311:00 - 13:00Sem.R. DA grün 05 VO Termin
Thu14.11.201310:30 - 12:30FH 8 Nöbauer HS - MATH Logik VO
Tue19.11.201311:00 - 13:00Sem.R. DA grün 05 VO Termin
Thu21.11.201310:30 - 12:30FH 8 Nöbauer HS - MATH Logik VO
Tue26.11.201311:00 - 13:00Sem.R. DA grün 05 VO Termin
Thu28.11.201310:30 - 12:30FH 8 Nöbauer HS - MATH Logik VO
Tue03.12.201311:00 - 13:00Sem.R. DA grün 05 VO Termin
Thu05.12.201310:30 - 12:30FH 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