Mathematische Logik und Modelltheorie (FS 2018)

Dozent

  • Prof. Dr. George Metcalfe

Assistierende

  • Almudena Colacito
  • Dr. José Gil-Ferez
  • Olim Tuyt

Zeit und Ort

  • Montag, 08 - 10 Uhr, B5 (ExWi)
  • Mittwoch, 08 - 10 Uhr, B5 (ExWi)
  • Beginn: Montag, 19. Februar 2018

Details

  • 6 ECTS-Punkte
  • Anmeldung zur schriftlichen Prüfung bis spätestens am vorletzten Freitag der Vorlesungszeit via KSL
  • Für weitere Informationen (Inhaltsverzeichnis, Übungsserien, Teilnahmebedingung etc.) siehe ILIAS-Seite des Kurses

Contents

  • Propositional logic and resolution
  • Syntax and semantics of first-order predicate logic
  • Gödel’s completeness theorem and compactness
  • Models and theories
  • Löwenheim-Skolem theorems
  • Herbrand’s theorem and Skolemization