Εβδομάδα: 3 Μαρτίου - 9 Μαρτίου | ΛΟΓΙΚΗ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ: ΛΟΓΙΚΗ, ΑΥΤΟΜΑΤΑ ΚΑΙ ΠΑΙΓΝΙΑ (ΗΜΜΥ, ΕΜΕ), Ειδικά Θέματα Λογικής: Δυναμική Επιστημική Λογική (ΑΛΜΑ) | CoReCourses

CoReLab Courses

Αρχική Ημερολόγιο CoReLab Home CoReLab Courses Research Seminar People Theses

Τελευταίες ανακοινώσεις

4 Ιουλίου 2021, 2:56 PM
Διαγραμμένος χρήστης
Πρόγραμμα Προφορικών Εξετάσεων
2 Ιουλίου 2021, 10:56 PM
Διαγραμμένος χρήστης
Προφορικ Εξετάσεις
30 Ιουνίου 2021, 10:35 PM
Διαγραμμένος χρήστης
Διευκρίνση για την Άσκηση 5
26 Ιουνίου 2021, 1:17 PM
Διαγραμμένος χρήστης
Τελική Εξέταση
24 Ιουνίου 2021, 4:50 PM
Διαγραμμένος χρήστης
Ανακοίνωση Θεμάτων (Σάββατο 26.6)

ΠΑΛΑΙΟΤΕΡΑ ΕΤΗ

Section outline

- Επιλογή δραστηριότητας 08.03.2021_Properties_of_Frames_and_Bisimulation
  
  08.03.2021_Properties_of_Frames_and_Bisimulation Αρχείο
- Επιλογή δραστηριότητας 09.03.2021_An_Axiomatic_System_for_Modal_Logic
  
  09.03.2021_An_Axiomatic_System_for_Modal_Logic Αρχείο