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.

2020W, VO, 3.0h, 4.5EC
TUWEL
Diese Lehrveranstaltung wird nach dem neuen Modus evaluiert. Mehr erfahren

LVA-Bewertung

Merkmale

  • Semesterwochenstunden: 3.0
  • ECTS: 4.5
  • Typ: VO Vorlesung
  • Format der Abhaltung: Hybrid

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. (Der wesentliche Punkt: Sie haben den Beweis des Gödelschen Vollständigkeitssatzes verstanden.) 

Sie können den Resolutionsalgorithmus (Sprache erster Ordnung, ohne Gleichheit) erklären und anwenden, sowie auch den Unifikationsalgorithmus. 

Sie haben die ZFC-Axiome  (abgesehen von Ersetzung und Fundierung) insofern verstanden, als sie sie nicht nur  formal angeben sondern auch inhaltlich erklären können,  insbesondere die besprochenen Äquivalenzen des Auswahlaxioms, und sie können Modelle und Gegenbeispiele für kleine Fragmente von ZFC konstruieren.  Weiters können Sie die Begriffe "Wohlordung", "Ordinalzahl" und "Kardinalzahl" definieren, ihre grundlegenden Eigenschaften beschreiben und beweisen, und die Zusammenhänge zwischen diesen Konzepten erläutern. 

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

Die Vorlesung wird bis auf Weiteres Dienstag und Donnerstag stattfinden. Dienstag im FH HS 2 11:15-12:50, Donnerstag Zeichensaal  3, 12:00-12:50. 

(Achtung: in TISS ist für Donnerstag 11-13 die UE eingetragen.  Tatsächlich aber findet die UE 11:00-11:55 statt, dann die VO 12:00-12:50.) 

 

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.11:00 - 13:0006.10.2020 - 26.01.2021FH Hörsaal 2 logik-VO
Do.12:00 - 13:0008.10.2020 - 28.01.2021Hörsaal 15 VO Do
Logik und Grundlagen der Mathematik - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.06.10.202011:00 - 13:00FH Hörsaal 2 logik-VO
Do.08.10.202012:00 - 13:00Hörsaal 15 VO Do
Di.13.10.202011:00 - 13:00FH Hörsaal 2 logik-VO
Do.15.10.202012:00 - 13:00Hörsaal 15 VO Do
Di.20.10.202011:00 - 13:00FH Hörsaal 2 logik-VO
Do.22.10.202012:00 - 13:00Hörsaal 15 VO Do
Di.27.10.202011:00 - 13:00FH Hörsaal 2 logik-VO
Do.29.10.202012:00 - 13:00Hörsaal 15 VO Do
Di.03.11.202011:00 - 13:00FH Hörsaal 2 logik-VO
Do.05.11.202012:00 - 13:00Hörsaal 15 VO Do
Do.07.01.202112:00 - 13:00Hörsaal 15 VO Do
Di.12.01.202111:00 - 13:00FH Hörsaal 2 logik-VO
Do.14.01.202112:00 - 13:00Hörsaal 15 VO Do
Di.19.01.202111:00 - 13:00FH Hörsaal 2 logik-VO
Do.21.01.202112:00 - 13:00Hörsaal 15 VO Do
Di.26.01.202111:00 - 13:00FH Hörsaal 2 logik-VO
Do.28.01.202112:00 - 13:00Hörsaal 15 VO Do

Leistungsnachweis

Mündliche Prüfung

LVA-Anmeldung

Von Bis Abmeldung bis
15.10.2020 00:00 15.10.2020 23:59

Die Anmeldung ist derzeit manuell gesperrt

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Begleitende Lehrveranstaltungen

Weitere Informationen

Sprache

Deutsch