https://eclass.uoa.gr/courses/MATH620/ΑνακοινώσειςMon, 22 Jun 2026 22:33:05 +0300elhttps://eclass.uoa.gr/modules/announcements/index.php?an_id=661547&course=MATH620<p>Καλησπέρα σε όλα,</p> <p>Οι βαθμοί της εξέτασης στις 17/6 είναι αναρτημένοι στα έγγραφα.</p> <p>Παρακαλώ <strong>δώστε προσοχή</strong> στα παρακάτω:</p> <p>1) Τα e-mail με αιτήματα αναβαθμολόγησης ως επί το πλείστον <strong>δεν</strong> θα απαντηθούν. Θα λειφθούν όμως όλα υπόψιν.</p> <p>2) Δεν υπάρχει <strong>απολύτως κανένας λόγος</strong> να στείλετε περισσότερα του ενός e-mail για αναβαθμολόγηση.</p> <p>3) Οι τελικοί βαθμοί θα αναρτηθούν στο τέλος της πρώτης εβδομάδας του <strong>Ιούλη.</strong></p> <p> </p> <p>Γ.Λ.</p>Mon, 22 Jun 2026 22:33:05 +0300Mon, 22 Jun 2026 22:33:05 +0300661547https://eclass.uoa.gr/modules/announcements/index.php?an_id=655955&course=MATH620<p>Καλησπέρα σε όλα,</p> <p> </p> <p>Ακολουθεί η ύλη του μαθήματος, με αναφορές από το βιβλίο του Sipser και τις σημειώσεις του κ. Ζώρου. Φυσικά οποιαδήποτε άλλη πηγή θέλει να χρησιμοποιήσει κάποιο που καλύπτει τα παρακάτω θέματα στο βάθος που το κάναμε και στο μάθημα, είναι απολύτως οκ να το κάνει.</p> <p> </p> <p>Ειδικά για όσο κόσμο διαβάζει από Sipser, οτιδήποτε αναφέρεται στο πρώτο μέρος του βιβλίου (Κανονικές γλώσσες, ασυμφραστικές γραμματικές, αυτόματα) είναι τυπικά εκτός ύλης. Μπορεί φυσικά να βοηθήσει στην κατανόηση, αν κάποιο θέλει να αφιερώσει τον χρόνο/κόπο.</p> <p> </p> <p>1) Μηχανές Turing: Sipser παρ. 3.1, Ζώρος Κεφ.1 (όχι παρ. 1.3)</p> <p>2) Κλάσεις REC, RE, coRE: Sipser παρ. 4.2, Ζώρος Κεφ.5</p> <p>3) Αναγωγές: Sipser Κεφ.5 (όχι παρ. 5.1.1, 5.2), Ζώρος παρ. 5.2.2</p> <p>4) Θεώρημα Rice: Ζώρος παρ. 6.1</p> <p>5) Θεώρημα Αναδρομής: Sipser παρ. 6.1, Ζώρος Κεφ.7 (όχι παρ. 7.3)</p> <p>6) Αναγωγές κατά Turing: Sipser παρ. 6.3 , Ζώρος παρ. 8.1</p> <p> </p> <p>Γ. Λ.</p>Mon, 25 May 2026 03:00:56 +0300Mon, 25 May 2026 03:00:56 +0300655955