Introduction to Mathematical Logic Frederik Herzberg

News

Currently, no news are available
 

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

 

Lecture

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

 

Tutorial

There will be a weekly one-hour tutorial. Time and venue to be announced.

 

References

 

Contact

herzberg@math.uni-sb.de



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