702633 VU Mathematische Logik
Sommersemester 2021 | Stand: 24.02.2021 | LV auf Merkliste setzen702633
VU Mathematische Logik
VU 3
5
wöch.
jährlich
Deutsch
- Syntax und Semantik des Prädikatenlogiks
- Kalkül des natürlichen Schließens
- Vollständigkeitssatz und Satz von Herbrand
- Satz von Löwenheim-Skolem und Kompaktheitssatz
- Grenzen der Prädikatenlogik
- Erweiterungen der Logik erster Stufe
- Ausblick auf Unentscheidbarkeit und Unvollständigkeit
Einführung in die mathematische Logik
von Heinz-Dieter Ebbinghaus (Autor), Jörg Flum (Mitwirkende), Wolfgang Thomas (Mitwirkende)
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
- Bachelorstudium Mathematik nach dem Curriculum 2007 (180 ECTS-AP, 6 Semester)
- Masterstudium Informatik nach dem Curriculum 2007 (120 ECTS-AP, 4 Semester)
- Masterstudium Mathematik nach dem Curriculum 2007 (120 ECTS-AP, 4 Semester)
- Bachelorstudium Informatik nach dem Curriculum 2019 (180 ECTS-AP, 6 Semester)
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
Gruppe 0
|
||||
---|---|---|---|---|
Datum | Uhrzeit | Ort | ||
Fr 05.03.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 12.03.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 19.03.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 26.03.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 16.04.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 23.04.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 30.04.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 07.05.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 14.05.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 21.05.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 28.05.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 04.06.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 11.06.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 18.06.2021
|
09.15 - 12.00 | eLecture - online eLecture - online | ||
Fr 25.06.2021
|
09.15 - 12.00 | eLecture - online eLecture - online |