Introduction to Mathematical Logic

Lecture of the module MA Ba-ALGSTR "Algebraische Strukturen: Diskrete Strukturen", summer semester 2023. Subtitle: Introduction to mathematical logic

News

IMPORTANT: please send me an email if you are interested in participating so that I can reach you. Details about how we proceed with the course will be communicated by email.
Please register in Opal.

Language

English on demand. Course notes and supplementary videos will be in English.

Topics

Propositional Logic
Structures
First-order Logic
Axiomatic Set Theory (Zermelo Fraenkel)
Completeness Theorem
Compactness Theorem
Computability, primitiv rekursiv and rekursive functions
Incompleteness theorems

Target Audience

Bachelor Mathematics; Computer science diploma with a minor in mathematics

Prerequisites

For math students: Math-Ba-ANAG, Math-Ba-LAAG, and Math-Ba-PROG. For CS students: The compulsory math courses for computer science bachelor.

Vorlesungszeiten

Monday	2. DS	C129
Tuesday	4. DS	C129

Literature

The course does not follow a text book but rather the lecture notes below. Additional material and background can be found in the following text books.

M. Hils and F. Loeser. A first Journey through Logic, volume 89 of Student Mathematical Library. American Mathematical Society, Providence, RI, September 2019.

Course Notes

The basis of the course are the (english) course notes.