104.340 Logik und Grundlagen der Mathematik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2018W, VO, 3.0h, 4.5EC

Merkmale

  • Semesterwochenstunden: 3.0
  • ECTS: 4.5
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

Die Studierenden sollen die Grundbegriffe der mathematischen Logik verstehen und insbesondere erkennen, dass (formale) Beweise Objekte mathematischer Untersuchungen sein können.

Inhalt der Lehrveranstaltung

Aussagenlogik, Prädikatenlogik 1.Stufe, Vollständigkeitssatz;  ZFC-Axiome; Auswahlaxiom, Kardinalität; Einführung in die computationale Logik

Weitere Informationen

Beginn Dienstag 2.10.2018, 10:15, Freihaus Seminarraum 5.Stock, dann Donnerstag 4.10. 11:30-13:00 Hauptgebäude HS XV. 

 

Ab der zweiten Woche (9.10.) beginnt die VO am Dienstag um 11 Uhr, die UE findet davor statt.

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.10:15 - 11:4502.10.2018Sem.R. DA grün 05 Logik VO 1.Stunde
Do.11:30 - 13:0004.10.2018 - 31.01.2019Hörsaal 15 Logik DO
Di.11:00 - 13:0009.10.2018 - 29.01.2019Sem.R. DA grün 05 Logik Di
Do.12:00 - 13:0011.10.2018Hörsaal 15 Logik VO
Logik und Grundlagen der Mathematik - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.02.10.201810:15 - 11:45Sem.R. DA grün 05 Logik VO 1.Stunde
Do.04.10.201811:30 - 13:00Hörsaal 15 Logik DO
Di.09.10.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.11.10.201812:00 - 13:00Hörsaal 15 Logik VO
Di.16.10.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.18.10.201811:30 - 13:00Hörsaal 15 Logik DO
Di.23.10.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.25.10.201811:30 - 13:00Hörsaal 15 Logik DO
Di.30.10.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Di.06.11.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.08.11.201811:30 - 13:00Hörsaal 15 Logik DO
Di.13.11.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Di.20.11.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.22.11.201811:30 - 13:00Hörsaal 15 Logik DO
Di.27.11.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.29.11.201811:30 - 13:00Hörsaal 15 Logik DO
Di.04.12.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.06.12.201811:30 - 13:00Hörsaal 15 Logik DO
Di.11.12.201811:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.13.12.201811:30 - 13:00Hörsaal 15 Logik DO

Leistungsnachweis

Mündliche Prüfung

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mo. - 14.10.2019mündlichKeine Anmeldung-okt 2019
Mo. - 23.12.2019schriftlichKeine Anmeldung-dez 2018
Di. - 28.01.2020mündlichKeine Anmeldung-logik ja n 2019
Di. - 28.04.2020mündlichKeine Anmeldung-lgm april

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Begleitende Lehrveranstaltungen

Weitere Informationen

Sprache

Deutsch