Εβδομάδα: 17 Μαρτίου - 23 Μαρτίου | ΛΟΓΙΚΗ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ: ΛΟΓΙΚΗ, ΑΥΤΟΜΑΤΑ ΚΑΙ ΠΑΙΓΝΙΑ (ΗΜΜΥ, ΕΜΕ), Ειδικά Θέματα Λογικής: Δυναμική Επιστημική Λογική (ΑΛΜΑ) | 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

- Επιλογή δραστηριότητας 22.03.2021_Soundness_and_completeness_of_K (slides 26-56)
  
  22.03.2021_Soundness_and_completeness_of_K (slides 26-56) Αρχείο
- Επιλογή δραστηριότητας 23.03.2021_Reasoning_about_knowledge (slides 57-73)
  
  23.03.2021_Reasoning_about_knowledge (slides 57-73) Αρχείο