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

CoReLab Courses

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

Course info

ΛΟΓΙΚΗ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ: ΛΟΓΙΚΗ, ΑΥΤΟΜΑΤΑ ΚΑΙ ΠΑΙΓΝΙΑ (ΗΜΜΥ, ΕΜΕ), Ειδικά Θέματα Λογικής: Περιγραφική Πολυπλοκότητα (ΑΛΜΑ-ΕΜΕ)

  • Teacher: Στάθης Ζάχος

Skip Navigation

Navigation

  • Home

    • ForumSite news

    • Courses

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

        • agt

        • atc

        • ads

        • netalg

        • algo-grad

        • complexity

        • advlogic

          • Participants

          • General

          • 20 February - 26 February

          • 27 February - 4 March

          • 5 March - 11 March

          • 12 March - 18 March

          • 19 March - 25 March

          • 26 March - 1 April

          • 2 April - 8 April

          • 9 April - 15 April

          • 16 April - 22 April

          • 23 April - 29 April

        • logic_cs

        • fine-grained

        • convex-opt

        • sublinear

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

      • Study Groups

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


©2025 Computation and Reasoning Laboratory