LogicUNIVERSITÀ DELLA SVIZZERA ITALIANA
Chiedi il prezzo
- Mendrisio (Svizzera)
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.
- "A Mathematical Introduction to Logic", Herbert Enderton, 2nd edition