702633 VU Mathematische Logik

Sommersemester 2021 | Stand: 24.02.2021 LV auf Merkliste setzen
702633
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
  • 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