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

CoReLab Courses

Μονοπάτι σελίδας
  • Αρχική σελίδα
  • Μαθήματα
  • Μεταπτυχιακά
  • advlogic
  • Σύνοψη

Πληροφορίες μαθήματος

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

  • Διδάσκων: Στάθης Ζάχος

Παράλειψη Πλοήγηση

Πλοήγηση

  • Αρχική σελίδα

    • ΦόρουμSite news

    • Μαθήματα

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

        • agt

        • atc

        • ads

        • netalg

        • algo-grad

        • complexity

        • advlogic

          • Συμμετέχοντες

          • Γενικά

          • 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