mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Courses » 2016-2017 » εαρινό εξάμηνο » Λ09Γ. Προχωρημένα Θέματα Λογικής (2016-2017, εαρινό εξάμηνο)

Προχωρημένα Θέματα Λογικής: 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.

Enrolled students

Exams

Diary

Τρίτη, 07 Μάρ 2017

Τρίτη, 14 Μάρ 2017

Τρίτη, 21 Μάρ 2017

Τρίτη, 28 Μάρ 2017

Τρίτη, 04 Απρ 2017

Τρίτη, 11 Απρ 2017

Τρίτη, 18 Απρ 2017

Τρίτη, 25 Απρ 2017

Τρίτη, 02 Μάι 2017

Τρίτη, 09 Μάι 2017

Τρίτη, 16 Μάι 2017

Τρίτη, 23 Μάι 2017

Τρίτη, 30 Μάι 2017

Τρίτη, 06 Ιούν 2017

Τρίτη, 06 Ιούν 2017

Τρίτη, 13 Ιούν 2017

Τρίτη, 20 Ιούν 2017

Τρίτη, 27 Ιούν 2017

Τρίτη, 04 Ιούλ 2017

Τρίτη, 11 Ιούλ 2017

Τρίτη, 18 Ιούλ 2017

Τρίτη, 25 Ιούλ 2017

Τρίτη, 01 Αύγ 2017

Τρίτη, 08 Αύγ 2017

Τρίτη, 15 Αύγ 2017

Τρίτη, 22 Αύγ 2017

Τρίτη, 29 Αύγ 2017

Τρίτη, 05 Σεπ 2017

Τρίτη, 12 Σεπ 2017

Τρίτη, 19 Σεπ 2017

Τρίτη, 26 Σεπ 2017

Τρίτη, 03 Οκτ 2017

Τρίτη, 10 Οκτ 2017

Τρίτη, 17 Οκτ 2017

Τρίτη, 24 Οκτ 2017

Τρίτη, 31 Οκτ 2017

Τρίτη, 07 Νοέ 2017

Τρίτη, 14 Νοέ 2017

Τρίτη, 21 Νοέ 2017

Τρίτη, 28 Νοέ 2017

Τρίτη, 05 Δεκ 2017

Τρίτη, 12 Δεκ 2017

Τρίτη, 19 Δεκ 2017

Τρίτη, 26 Δεκ 2017

Τρίτη, 02 Ιαν 2018

Τρίτη, 09 Ιαν 2018

Τρίτη, 16 Ιαν 2018

Τρίτη, 23 Ιαν 2018

Τρίτη, 30 Ιαν 2018

Τρίτη, 06 Φεβ 2018

Τρίτη, 13 Φεβ 2018

Τρίτη, 20 Φεβ 2018

Τρίτη, 27 Φεβ 2018

Τρίτη, 06 Μάρ 2018

Τρίτη, 13 Μάρ 2018

Τρίτη, 20 Μάρ 2018

Τρίτη, 27 Μάρ 2018

Τρίτη, 03 Απρ 2018

Τρίτη, 10 Απρ 2018

Τρίτη, 17 Απρ 2018

Τρίτη, 24 Απρ 2018

Τρίτη, 01 Μάι 2018

Τρίτη, 08 Μάι 2018

Τρίτη, 15 Μάι 2018

Τρίτη, 22 Μάι 2018

Τρίτη, 29 Μάι 2018

Τρίτη, 05 Ιούν 2018

Τρίτη, 12 Ιούν 2018

Τρίτη, 19 Ιούν 2018

Τρίτη, 26 Ιούν 2018

Τρίτη, 03 Ιούλ 2018

Τρίτη, 10 Ιούλ 2018

Τρίτη, 17 Ιούλ 2018

Τρίτη, 24 Ιούλ 2018

Τρίτη, 31 Ιούλ 2018

Τρίτη, 07 Αύγ 2018

Τρίτη, 14 Αύγ 2018

Τρίτη, 21 Αύγ 2018

Τρίτη, 28 Αύγ 2018

Τρίτη, 04 Σεπ 2018

Τρίτη, 11 Σεπ 2018

Τρίτη, 18 Σεπ 2018

Τρίτη, 25 Σεπ 2018

Τρίτη, 02 Οκτ 2018

Τρίτη, 09 Οκτ 2018

Τρίτη, 16 Οκτ 2018

Τρίτη, 23 Οκτ 2018

Τρίτη, 30 Οκτ 2018

Τρίτη, 06 Νοέ 2018

Τρίτη, 13 Νοέ 2018

Τρίτη, 20 Νοέ 2018

Τρίτη, 27 Νοέ 2018

Τρίτη, 04 Δεκ 2018

Τρίτη, 11 Δεκ 2018

Τρίτη, 18 Δεκ 2018

Τρίτη, 25 Δεκ 2018

Τρίτη, 01 Ιαν 2019

Τρίτη, 08 Ιαν 2019

Τρίτη, 15 Ιαν 2019

Τρίτη, 22 Ιαν 2019

Τρίτη, 29 Ιαν 2019

Τρίτη, 05 Φεβ 2019

Τρίτη, 12 Φεβ 2019

Τρίτη, 19 Φεβ 2019

Τρίτη, 26 Φεβ 2019

Τρίτη, 05 Μάρ 2019

Τρίτη, 12 Μάρ 2019

Τρίτη, 19 Μάρ 2019

Τρίτη, 26 Μάρ 2019

Τρίτη, 02 Απρ 2019

Τρίτη, 09 Απρ 2019

Τρίτη, 16 Απρ 2019

Τρίτη, 23 Απρ 2019

Τρίτη, 30 Απρ 2019

Τρίτη, 07 Μάι 2019

Τρίτη, 14 Μάι 2019

Τρίτη, 21 Μάι 2019

Τρίτη, 28 Μάι 2019

Τρίτη, 04 Ιούν 2019

Τρίτη, 11 Ιούν 2019

Τρίτη, 18 Ιούν 2019

Τρίτη, 25 Ιούν 2019

Τρίτη, 02 Ιούλ 2019

Τρίτη, 09 Ιούλ 2019

Τρίτη, 16 Ιούλ 2019

Τρίτη, 23 Ιούλ 2019

Τρίτη, 30 Ιούλ 2019

Τρίτη, 06 Αύγ 2019

Τρίτη, 13 Αύγ 2019

Τρίτη, 20 Αύγ 2019

Τρίτη, 27 Αύγ 2019

Τρίτη, 03 Σεπ 2019

Τρίτη, 10 Σεπ 2019

Τρίτη, 17 Σεπ 2019

Τρίτη, 24 Σεπ 2019

Τρίτη, 01 Οκτ 2019

Τρίτη, 08 Οκτ 2019

Τρίτη, 15 Οκτ 2019

Τρίτη, 22 Οκτ 2019

Τρίτη, 29 Οκτ 2019

Τρίτη, 05 Νοέ 2019

Τρίτη, 12 Νοέ 2019

Τρίτη, 19 Νοέ 2019

Τρίτη, 26 Νοέ 2019

Τρίτη, 03 Δεκ 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.