Skip to main content
CoReCourses
  • Log in
  • English ‎(en)‎
    • English ‎(en)‎
    • Ελληνικά ‎(el)‎
  • CoReLab Home
  • CoReLab Courses
    • Προπτυχιακά
      • Προγραμματισμός Ηλεκτρονικών Υπολογιστών
      • Εισαγωγή στην Επιστήμη των Υπολογιστών (ΣΗΜΜΥ)
      • Θεμελιώδη Θέματα Επιστήμης Υπολογιστών (ΣΕΜΦΕ)
      • Αυτόματα και Υπολογιστικά Μοντέλα
      • Υπολογισιμότητα και Πολυπλοκότητα
      • Αλγόριθμοι και Πολυπλοκότητα
      • Προηγμένα Θέματα Αλγορίθμων
      • Υπολογιστική Κρυπτογραφία
    • Μεταπτυχιακά
      • Υπολογιστική Πολυπλοκότητα
      • Αλγόριθμοι και Πολυπλοκότητα (Μεταπτυχιακό)
      • Υπολογιστική Κρυπτογραφία
      • Αλγόριθμοι Δικτύων και Πολυπλοκότητα
      • Ειδικά Θέματα Λογικής
      • Προχωρημένα Θέματα Αλγορίθμων και Πολυπλοκότητας
  • Research
  • Seminar
  • People
  • Theses
  • This course
    • People
    • Forums
    • Resources

CoReLab Courses

Page path
  • Home
  • Courses
  • Μεταπτυχιακά
  • advlogic
  • Summary

Course info

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


  • Teacher: Στάθης Ζάχος
  • Teacher: Γιάννης Κοκκίνης
  • Teacher: Πέτρος Ποτίκας
  • Teacher: Αγγελική Χαλκή

Skip Navigation

Navigation

  • Home

    • ForumSite news

    • Courses

      • Μεταπτυχιακά

        • algo-grad

        • complexity

        • agt

        • netalg

        • ads

        • counting-complexity

        • fine-grained

        • advlogic

          • Participants

          • General

          • 24 February - 2 March

          • 3 March - 9 March

          • 10 March - 16 March

          • 17 March - 23 March

          • 24 March - 30 March

          • 31 March - 6 April

          • 7 April - 13 April

          • 14 April - 20 April

          • 21 April - 27 April

          • 28 April - 4 May

          • 5 May - 11 May

          • 12 May - 18 May

          • 19 May - 25 May

          • 26 May - 1 June

          • 2 June - 8 June

        • atc

        • convex-opt

        • sublinear

      • Προπτυχιακά

      • Study Groups

      • Παλαιότερα έτη


©2023 Computation and Reasoning Laboratory