News

Update regarding exam venue

Written on 22.08.23 by Frederik Herzberg

The oral exams for our lecture course have now been scheduled to be held in seminar room 1 (building E2_5, room U.37). Please ignore any previous information regarding the exam venue.

The individual exam times have been sent by e-mail to all who have registered.

Exam dates - please register by 8 August 2023

Written on 20.07.23 by Frederik Herzberg

The oral examinations (duration: 25 minutes) for our lecture course will be held on the following days:

  • Thursday, 31 August 2023
  • Thursday, 28 September 2023

Please register for the exam in LSF and also reserve your preferred exam date by sending a short e-mail to herzberg@math.uni-sb.deRead more

The oral examinations (duration: 25 minutes) for our lecture course will be held on the following days:

  • Thursday, 31 August 2023
  • Thursday, 28 September 2023

Please register for the exam in LSF and also reserve your preferred exam date by sending a short e-mail to herzberg@math.uni-sb.de (no later than 8 August 2023).

The default language of the exam will be English. Depending on the availability of a German-speaking co-examiner, a German exam may also be possible. If you prefer a German exam, please indicate this when reserving your exam date.

Wishing you the best of success in your exam.

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.