Section outline

  • Ακαδημαϊκό έτος 

    • 2018-2019 (εαρινό εξάμηνο)

    Διδάσκοντες

    • Στάθης Ζάχος
    • Πέτρος Ποτίκας (ppotik@cs.ntua.gr)


    Βοηθός διδασκαλίας

    • Αγγελική Χαλκή (achalki@corelab.ntua.gr)


    Έναρξη μαθήματος

    • Τρίτη 26/2/2019, 10:00, αιθ. 1.1.31, παλ. κτ. ΗΜΜΥ


    Διαλέξεις

    • Κάθε Τρίτη 10:00-14:00, αιθ. 1.1.31, παλ. κτ. ΗΜΜΥ


    Περιγραφή μαθήματος

    Γλώσσα της Τροπικής Λογικής, Σημασιολογία: Μοντέλα και Πλαίσια, 
    Κανονικές Τροπικές Λογικές, Aμφιπροσομοίωση. Ορθότητα και Πληρότητα 
    Τροπικών Λογικών, Ορισιμότητα, Τροπικά ταμπλό, Πολυπλοκότητα Τροπικών 
    Λογικών. Χρονική Τροπική Λογική (LTL, CTL), Επιστημική Τροπική Λογική.


    Προαπαιτούμενα

    • Τουλάχιστον ένα μάθημα Μαθηματικής Λογικής.


    Βιβλιογραφία

    • Blackburn, P., Rijke, M., & Venema, Y. (2001). Modal Logic (Cambridge Tracts in Theoretical Computer Science). Cambridge: Cambridge University Press. doi:10.1017/CBO9781107050884 (Modal Logic)
    • Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X. Journal of Functional Programming, 18(3), 421-422. doi:10.1017/S095679680700671  (Temporal Logic)
    • Reasoning about Knowledge (Fagin, Halpern, Moses, Vardi)  (Epistemic Logic)
    • Modal Logic, Alexander Chagrov and Michael Zakharyaschev (Intuitionistic logic)