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.

2019W, VO, 3.0h, 4.5EC

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind die Studierenden in der Lage , die folgenden Konzepte zu erklären und verständig anzuwenden:  aussagenlogische und prädikatenlogische Formeln, den in der VO besprochenen Beweiskalkül (insbesondere die Rolle des Substitutionsaxioms sowie Metatheoreme wie Deduktionstheorem und Einführung von Quantoren), semantische und syntaktische Konsistenz, Kompaktheit der Aussagenlogik und der Prädikatenlogik erster Stufe, Unifikations- und  Resolutionsalgorithmus (und dessen Vollständigkeit), ZFC-Axiome (insbesondere die Rolle des Auswahlaxioms), Modelle und Gegenbeispiele für kleine Fragmente von ZFC, Wohlordnungen und Ordinalzahlen. 

Inhalt der Lehrveranstaltung

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

Methoden

Tafelvortrag, unterstützt durch ein Skriptum.   Ergänzend: Antworten auf Fragen der Studierenden.

 

 

Prüfungsmodus

Mündlich

Weitere Informationen

Beginn Donnerstag 3.10.2019, 11:30-13:00 Hauptgebäude HS XV. 

 

 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.11:00 - 13:0001.10.2019 - 28.01.2020Sem.R. DA grün 05 Logik Di
Do.12:00 - 13:0003.10.2019 - 30.01.2020Hörsaal 15 VO Do
Logik und Grundlagen der Mathematik - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.01.10.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.03.10.201912:00 - 13:00Hörsaal 15 VO Do
Di.08.10.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.10.10.201912:00 - 13:00Hörsaal 15 VO Do
Di.15.10.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.17.10.201912:00 - 13:00Hörsaal 15 VO Do
Di.22.10.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.24.10.201912:00 - 13:00Hörsaal 15 VO Do
Di.29.10.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.31.10.201912:00 - 13:00Hörsaal 15 VO Do
Di.05.11.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.07.11.201912:00 - 13:00Hörsaal 15 VO Do
Di.12.11.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.14.11.201912:00 - 13:00Hörsaal 15 VO Do
Di.19.11.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.21.11.201912:00 - 13:00Hörsaal 15 VO Do
Di.26.11.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.28.11.201912:00 - 13:00Hörsaal 15 VO Do
Di.03.12.201911:00 - 13:00Sem.R. DA grün 05 Logik Di
Do.05.12.201912:00 - 13:00Hörsaal 15 VO Do

Leistungsnachweis

Mündliche Prüfung

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
033 201 Technische Mathematik Gebundenes Wahlfach
066 394 Technische Mathematik Pflichtfach
860 GW Gebundene Wahlfächer - Technische Mathematik Keine Angabe

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Begleitende Lehrveranstaltungen

Weitere Informationen

Sprache

Deutsch