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.

2012W, 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 2.10., 11:15, im Sem 325/1 (Freihaus 4.Stock, gelber Bereich).

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.11:00 - 13:0002.10.2012Seminarraum 325/1 Logik VO
Do.11:00 - 12:0004.10.2012FH 8 Nöbauer HS - MATH Logik VO
Di.11:00 - 13:0009.10.2012 - 29.01.2013Sem.R. DA grün 05 Logik VO
Do.11:00 - 12:0011.10.2012 - 31.01.2013FH 8 Nöbauer HS - MATH Logik VO
Logik und Grundlagen der Mathematik - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.02.10.201211:00 - 13:00Seminarraum 325/1 Logik VO
Do.04.10.201211:00 - 12:00FH 8 Nöbauer HS - MATH Logik VO
Di.09.10.201211:00 - 13:00Sem.R. DA grün 05 Logik VO
Do.11.10.201211:00 - 12:00FH 8 Nöbauer HS - MATH Logik VO
Di.16.10.201211:00 - 13:00Sem.R. DA grün 05 Logik VO
Do.18.10.201211:00 - 12:00FH 8 Nöbauer HS - MATH Logik VO
Di.23.10.201211:00 - 13:00Sem.R. DA grün 05 Logik VO
Do.25.10.201211:00 - 12:00FH 8 Nöbauer HS - MATH Logik VO
Di.30.10.201211:00 - 13:00Sem.R. DA grün 05 Logik VO
Di.06.11.201211:00 - 13:00Sem.R. DA grün 05 Logik VO
Do.08.11.201211:00 - 12:00FH 8 Nöbauer HS - MATH Logik VO
Di.13.11.201211:00 - 13:00Sem.R. DA grün 05 Logik VO
Di.20.11.201211:00 - 13:00Sem.R. DA grün 05 Logik VO
Do.22.11.201211:00 - 12:00FH 8 Nöbauer HS - MATH Logik VO
Di.27.11.201211:00 - 13:00Sem.R. DA grün 05 Logik VO
Do.29.11.201211:00 - 12:00FH 8 Nöbauer HS - MATH Logik VO
Di.04.12.201211:00 - 13:00Sem.R. DA grün 05 Logik VO
Do.06.12.201211:00 - 12:00FH 8 Nöbauer HS - MATH Logik VO
Di.11.12.201211:00 - 13:00Sem.R. DA grün 05 Logik VO
Do.13.12.201211:00 - 12:00FH 8 Nöbauer HS - MATH Logik VO

Leistungsnachweis

Mündliche Prüfung

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
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