Προχωρημένα Θέματα Λογικής: 2016-2017, εαρινό εξάμηνο
For information about this course in general (not just for this specific semester), visit its page: Λ09Γ. Προχωρημένα Θέματα Λογικής.
| Taught by: | Ευστάθιος Ζάχος |
|---|---|
| Start date: | 07 Μαρτίου 2017 |
| Website: | http://www.corelab.ntua.gr/courses/advlogic/ |
Teaching hours
- every Τρίτη, 10:00-14:00, 1.1.31, ΣΗΜΜΥ, ΕΜΠ (παλαιά κτ.)
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