Introduction to Mathematical Logic

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

© mb

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

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.