Logic

This is a graduate-level course in mathematical logic, motivated by applications in computer science. The syllabus will include propositional logic, first order logic, and undecidability. Students should have a basic level of mathematical sophistication, and will be expected to complete weekly problem sets.

The course is open to Master students (MSc in Informatics) for 6 ECTS.

REFERENCES

• "A Mathematical Introduction to Logic", Herbert Enderton, 2nd edition