Μετάβαση στο κεντρικό περιεχόμενο
CoReCourses
Επισκέπτης
Σύνδεση
Βοήθεια
Ελληνικά (el)
English (en)
Ελληνικά (el)
CoReLab Home
CoReLab Courses
Προπτυχιακά
Προγραμματισμός Ηλεκτρονικών Υπολογιστών
Εισαγωγή στην Επιστήμη των Υπολογιστών (ΣΗΜΜΥ)
Θεμελιώδη Θέματα Επιστήμης Υπολογιστών (ΣΕΜΦΕ)
Αυτόματα και Υπολογιστικά Μοντέλα
Υπολογισιμότητα και Πολυπλοκότητα
Αλγόριθμοι και Πολυπλοκότητα
Προηγμένα Θέματα Αλγορίθμων
Υπολογιστική Κρυπτογραφία
Μεταπτυχιακά
Υπολογιστική Πολυπλοκότητα
Αλγόριθμοι και Πολυπλοκότητα (Μεταπτυχιακό)
Υπολογιστική Κρυπτογραφία
Αλγόριθμοι Δικτύων και Πολυπλοκότητα
Ειδικά Θέματα Λογικής
Προχωρημένα Θέματα Αλγορίθμων και Πολυπλοκότητας
Research
Seminar
People
Theses
CoReLab Courses
Μονοπάτι σελίδας
Αρχική σελίδα
Μαθήματα
Παλαιότερα έτη
2018-2019
Μεταπτυχιακά
advlogic1819
Γενικά
Διαφάνειες
Λογική και Πληροφορική ΙΙ: Λογική, Αυτόματα και Παίγνια (ΗΜΜΥ), Τροπική Λογική (ΑΛΜΑ)
Διαφάνειες
Επιστροφή στην ενότητα: Γενικά
modal logic slides.pdf