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

CoReLab Courses

Page path
  • Home
  • Courses
  • Παλαιότερα έτη
  • 2022-2023
  • Μεταπτυχιακά
  • advlogic2223
  • Resources

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

Week Name Description
File Κεφάλαιο 1
File Κεφάλαιο 2
File Κεφάλαιο 3
File Κεφάλαιο 4
File Ordering, P time
File Fagin's Theorem
File Switching lemma
File Ύλη μαθήματος για εξετάσεις
File Parallelism
Skip Navigation

Navigation

  • Home

    • Site pages

      • Tags

      • Calendar

      • ForumSite news

    • Courses

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

        • 2013-2014

        • 2014-2015

        • 2015-2016

        • 2016-2017

        • 2017-2018

        • 2018-2019

        • 2019-2020

        • 2020-2021

        • 2021-2022

        • 2022-2023

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

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

            • complexity2223

            • algo-grad2223

            • netalg2223

            • atc2223

            • ads2223

            • agt2223

            • advlogic2223

              • Participants

              • General

              • 13 February - 19 February

              • 20 February - 26 February

              • 27 February - 5 March

              • 6 March - 12 March

              • 13 March - 19 March

              • 20 March - 26 March

              • 27 March - 2 April

              • 3 April - 9 April

              • 10 April - 16 April

              • 17 April - 23 April

        • 2023-2024

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

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

      • Study Groups


©2025 Computation and Reasoning Laboratory