Advanced Topics in Logic: 2016-2017, spring semester
For information about this course in general (not just for this specific semester), visit its page: Λ09Γ. Advanced Topics in Logic.
| Taught by: | Efstathios Zachos |
|---|---|
| Start date: | March 7, 2017 |
| Website: | http://www.corelab.ntua.gr/courses/advlogic/ |
Teaching hours
- every Tuesday, 10:00-14:00, 1.1.31, ece, NTUA (old buildings)
Course information
Προαπαιτούμενα: Μαθήματα σε Θεωρία Υπολογισιμότητας και Μαθηματικής Λογικής.
Περίληψη Μαθήματος-Θεματικές ενότητες που θα καλυφθούν:
Proof Complexity, Infinite Automata, Ehrenfeucht-Fraisse Games, Inexpressibility in First Order Logic, Large Cardinal Axioms, Modal Logic, Decidability of Modal Logic, π-calculus, Tableaux approach to Proof Complexity, Translating Modal Logic into FOL and SOL, Linear Temporal Logic, Infinite Combinatorics, μ-Calculus.
Comments