702633 VU Mathematical Logic

summer semester 2021 | Last update: 24.02.2021 Place course on memo list
702633
VU Mathematical Logic
VU 3
5
weekly
annually
German
  • 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
see dates
Group 0
Date Time Location
Fri 2021-03-05
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-03-12
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-03-19
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-03-26
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-04-16
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-04-23
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-04-30
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-05-07
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-05-14
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-05-21
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-05-28
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-06-04
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-06-11
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-06-18
09.15 - 12.00 eLecture - online eLecture - online
Fri 2021-06-25
09.15 - 12.00 eLecture - online eLecture - online