Introduction to Mathematical Logic Frederik Herzberg

News

07.06.2023

Lecture and tutorial for 9th June postponed

Due to continued ill health, the lecture and tutorial this Friday, 9th June, cannot be delivered. I apologise for the inconvenience.

Starting next week hopefully, we will extend the usual lecture and tutorial times somewhat to make up for the lost time. I suggest... Read more

Due to continued ill health, the lecture and tutorial this Friday, 9th June, cannot be delivered. I apologise for the inconvenience.

Starting next week hopefully, we will extend the usual lecture and tutorial times somewhat to make up for the lost time. I suggest we discuss the particulars in class next Friday, 16th June, from 10:00am.

01.06.2023

No lecture, no tutorial on 2nd June

Unfortunately, the lecture and tutorial this Friday, 2nd June, must be cancelled due to ill health.

Apologies for the short notice and the inconvenience. 

 

Introduction to Mathematical Logic

Apl. Prof. Dr. Frederik Herzberg

 

Synopsis

This course provides an introduction to mathematical logic, with a focus on basic model theory. Topics include:

  • Lattices and Boolean algebras
  • Hilbert-style calculi
  • Completeness of the propositional calculus
  • Completeness of the predicate calculus
  • Ultraproducts and applications

 

Prerequisites

Intended audience:

  • mathematics students from the 4th semester onwards,
  • computer science students with a strong background in mathematics.

 

Lecture

Friday, 10-12am, building E2 4, Seminar room 10

 

Tutorial

Friday, 4-5pm, building E2 4, Seminar room 10 (from 28th April)

 

References

 

Contact

herzberg@math.uni-sb.de



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators