First-Order Logic – Semantic and Computational Properties
Aus International Center for Computational Logic
First-Order Logic – Semantic and Computational Properties
Lehrveranstaltung mit SWS 2/0/0 (Vorlesung/Übung/Praktikum) in SS 2024
The aim of this course is to take a closer look to First order logic and its properties which goes beyond the introduction most of us had in the beginning of their studies. We will introduce its syntax and semantics. We will learn about structures, models and calculi. We want to understand when to (not) trust a proof. On our journey, we will furthermore deepen our knowledge about the most important theorems like completeness, compactness or Löwenheim Skolem.
The course will take place on Mondays 5. DS Room: APB E005
Start: 15.4.2024- H.-D. Ebbinghaus , J. Flum , W. Thomas: Mathematical Logic (https://link.springer.com/book/10.1007/978-1-4757-2355-7)
