mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Courses » 2016-2017 » spring semester » Λ09Γ. Advanced Topics in Logic (2016-2017, spring semester) Anonymously browsing from 54.81.44.140 at 15:05:07, 24-09-2017. login

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.

Enrolled students

Exams

Diary

Tuesday, 07 Mar 2017

Tuesday, 14 Mar 2017

Tuesday, 21 Mar 2017

Tuesday, 28 Mar 2017

Tuesday, 04 Apr 2017

Tuesday, 11 Apr 2017

Tuesday, 18 Apr 2017

Tuesday, 25 Apr 2017

Tuesday, 02 May 2017

Tuesday, 09 May 2017

Tuesday, 16 May 2017

Tuesday, 23 May 2017

Tuesday, 30 May 2017

Tuesday, 06 Jun 2017

Tuesday, 06 Jun 2017

Tuesday, 13 Jun 2017

Tuesday, 20 Jun 2017

Tuesday, 27 Jun 2017

Tuesday, 04 Jul 2017

Tuesday, 11 Jul 2017

Tuesday, 18 Jul 2017

Tuesday, 25 Jul 2017

Tuesday, 01 Aug 2017

Tuesday, 08 Aug 2017

Tuesday, 15 Aug 2017

Tuesday, 22 Aug 2017

Tuesday, 29 Aug 2017

Tuesday, 05 Sep 2017

Tuesday, 12 Sep 2017

Tuesday, 19 Sep 2017

Comments

You must be logged in to comment.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.