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)

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

Tuesday, 26 Sep 2017

Tuesday, 03 Oct 2017

Tuesday, 10 Oct 2017

Tuesday, 17 Oct 2017

Tuesday, 24 Oct 2017

Tuesday, 31 Oct 2017

Tuesday, 07 Nov 2017

Tuesday, 14 Nov 2017

Tuesday, 21 Nov 2017

Tuesday, 28 Nov 2017

Tuesday, 05 Dec 2017

Tuesday, 12 Dec 2017

Tuesday, 19 Dec 2017

Tuesday, 26 Dec 2017

Tuesday, 02 Jan 2018

Tuesday, 09 Jan 2018

Tuesday, 16 Jan 2018

Tuesday, 23 Jan 2018

Tuesday, 30 Jan 2018

Tuesday, 06 Feb 2018

Tuesday, 13 Feb 2018

Tuesday, 20 Feb 2018

Tuesday, 27 Feb 2018

Tuesday, 06 Mar 2018

Tuesday, 13 Mar 2018

Tuesday, 20 Mar 2018

Tuesday, 27 Mar 2018

Tuesday, 03 Apr 2018

Tuesday, 10 Apr 2018

Tuesday, 17 Apr 2018

Tuesday, 24 Apr 2018

Tuesday, 01 May 2018

Tuesday, 08 May 2018

Tuesday, 15 May 2018

Tuesday, 22 May 2018

Tuesday, 29 May 2018

Tuesday, 05 Jun 2018

Tuesday, 12 Jun 2018

Tuesday, 19 Jun 2018

Tuesday, 26 Jun 2018

Tuesday, 03 Jul 2018

Tuesday, 10 Jul 2018

Tuesday, 17 Jul 2018

Tuesday, 24 Jul 2018

Tuesday, 31 Jul 2018

Tuesday, 07 Aug 2018

Tuesday, 14 Aug 2018

Tuesday, 21 Aug 2018

Tuesday, 28 Aug 2018

Tuesday, 04 Sep 2018

Tuesday, 11 Sep 2018

Tuesday, 18 Sep 2018

Tuesday, 25 Sep 2018

Tuesday, 02 Oct 2018

Tuesday, 09 Oct 2018

Tuesday, 16 Oct 2018

Tuesday, 23 Oct 2018

Tuesday, 30 Oct 2018

Tuesday, 06 Nov 2018

Tuesday, 13 Nov 2018

Tuesday, 20 Nov 2018

Tuesday, 27 Nov 2018

Tuesday, 04 Dec 2018

Tuesday, 11 Dec 2018

Tuesday, 18 Dec 2018

Tuesday, 25 Dec 2018

Tuesday, 01 Jan 2019

Tuesday, 08 Jan 2019

Tuesday, 15 Jan 2019

Tuesday, 22 Jan 2019

Tuesday, 29 Jan 2019

Tuesday, 05 Feb 2019

Tuesday, 12 Feb 2019

Tuesday, 19 Feb 2019

Tuesday, 26 Feb 2019

Tuesday, 05 Mar 2019

Tuesday, 12 Mar 2019

Tuesday, 19 Mar 2019

Tuesday, 26 Mar 2019

Tuesday, 02 Apr 2019

Tuesday, 09 Apr 2019

Tuesday, 16 Apr 2019

Tuesday, 23 Apr 2019

Tuesday, 30 Apr 2019

Tuesday, 07 May 2019

Tuesday, 14 May 2019

Tuesday, 21 May 2019

Tuesday, 28 May 2019

Tuesday, 04 Jun 2019

Tuesday, 11 Jun 2019

Tuesday, 18 Jun 2019

Tuesday, 25 Jun 2019

Tuesday, 02 Jul 2019

Tuesday, 09 Jul 2019

Tuesday, 16 Jul 2019

Tuesday, 23 Jul 2019

Tuesday, 30 Jul 2019

Tuesday, 06 Aug 2019

Tuesday, 13 Aug 2019

Tuesday, 20 Aug 2019

Tuesday, 27 Aug 2019

Tuesday, 03 Sep 2019

Tuesday, 10 Sep 2019

Tuesday, 17 Sep 2019

Comments

You must be logged in to comment.

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.