Σημασιολογία στην Επιστήμη των Υπολογιστών¶

Ένα ασυνήθιστο μάθημα επιλογής στο όριο λογικής, θεωρίας παιγνίων και ανάλυσης κειμένου: προτασιακή και τροπική (επιστημική) λογική, μοντέλα Kripke, παίγνια γνώσης (τρεις φυλακισμένοι, Flossie and the Fox) και η εφαρμογή τους σε αφηγήματα, ψευδείς ειδήσεις και κείμενα του Lacan. Το περιεχόμενο που φαίνεται στις διαφάνειες και στα θέματα διαφέρει αισθητά από το επίσημο περίγραμμα. Κατά φοιτητές τα θέματα επαναλαμβάνονται Discord 2025-12 (διαθέσιμο στο πλήρες πακέτο) και οι εξετάσεις γίνονται με ανοιχτές σημειώσεις.

Θέματα Τι λένε οι φοιτητές Περίγραμμα ⬇ Κατέβασε για AI

Με μια ματιά¶


Εξάμηνο / περίοδος	Επιλογής, χειμερινό (δεν έχει σταθερό εξάμηνο στον κατάλογο)
ECTS	5 Κατάλογος
Ώρες/εβδομάδα	2 θεωρία + 3 φροντιστήριο + 0 εργαστήριο Κατάλογος
Τομέας	ΕΘ
Διδάσκοντες 2025-26	Σ. Κοσμαδάκης, Χρ. Κακλαμάνης (κατά τον κατάλογο)· φοιτητές το 2022 αναφέρουν τον Κοσμαδάκη ως υπεύθυνο Discord 2022-10 (διαθέσιμο στο πλήρες πακέτο)
Επίσημο περίγραμμα	Περίγραμμα
Συνιστώμενα προαπαιτούμενα	Δεν βρέθηκαν πληροφορίες.
Βιβλιογραφία (περίγραμμα)	Fitting, «First-Order Logic and Automated Theorem Proving»· Huth–Ryan, «Logic in Computer Science»
Υλικό eClass	διαφάνειες 2023-24 και 2024-25, βιβλία, διπλωματικές εργασίες

Τι θα μάθεις¶

Το επίσημο Περίγραμμα (Κατάλογος) περιγράφει λογική πρώτης τάξης: συντακτικό και σημασιολογία τύπων, συνεπαγωγή και λογική ισοδυναμία, αποδεικτικά συστήματα, ορθότητα και πληρότητα. Ο τίτλος που τυπώνεται μέσα στο pdf είναι «Σημασιολογία και Ορθότητα Προγραμμάτων», δηλαδή διαφορετικός από τον τίτλο του καταλόγου.

Το υλικό που ανέβηκε στο eClass τα τελευταία χρόνια δείχνει διαφορετική εστίαση. Ο χάρτης της ύλης (εβδομάδες του 2024-25) είναι:

Εβδομάδα	Θέμα	Αρχεία
1η	Σημασιολογία φυσικής γλώσσας και γλωσσών προγραμματισμού· εισαγωγή στο παιχνίδι των τριών φυλακισμένων	Σημασιολογία (διαθέσιμο στο πλήρες πακέτο), semantic computing (διαθέσιμο στο πλήρες πακέτο)
2η	Προτασιακή λογική, προτασιακή συνεπαγωγή, συλλογισμοί, τροπική λογική	Προτασιακή Λογική (διαθέσιμο στο πλήρες πακέτο), τροπική λογική (διαθέσιμο στο πλήρες πακέτο)
3η–4η	Τρεις φυλακισμένοι: μοντέλα γνώσης, συνεπαγωγή	three prisoners know more (διαθέσιμο στο πλήρες πακέτο), Συνεπαγωγή (διαθέσιμο στο πλήρες πακέτο)
5η–6η	«A Logical Problem», σόφισμα του Lacan, Flossie and the Fox	A Logical Problem (διαθέσιμο στο πλήρες πακέτο), Flossie and the Fox (διαθέσιμο στο πλήρες πακέτο)
7η	Πρόβλημα συντονισμού, ψευδείς ειδήσεις (ψυχολογία)	A coordination problem (διαθέσιμο στο πλήρες πακέτο), fakeNews-psych (διαθέσιμο στο πλήρες πακέτο)
8η	Επιστημική λογική, «Λακανικοί λόγοι»	Epistemic logic (διαθέσιμο στο πλήρες πακέτο), Λακανικοί Λόγοι (διαθέσιμο στο πλήρες πακέτο)
9η–10η	Ανάλυση και κατανόηση αφηγημάτων, ανίχνευση παραπληροφόρησης	narrative analyses (διαθέσιμο στο πλήρες πακέτο), Detecting misinformation (διαθέσιμο στο πλήρες πακέτο)
11η–13η	Wisdom/wise girls, συλλογισμοί, διπλωματική εργασία ως παράδειγμα	wisdom (διαθέσιμο στο πλήρες πακέτο)

Οι φάκελοι «1 Μαθηματική Λογική» (σημειώσεις προτασιακής λογικής του διδάσκοντα, με κύρια βιβλία τα Fagin–Halpern–Moses–Vardi «Reasoning About Knowledge» κεφ. 1–2 και Huth–Ryan κεφ. 1: 1.1, 1.3, 1.4.1 ΥΛΗ (διαθέσιμο στο πλήρες πακέτο)), «2 Σημασιολογία μέσω παιγνίων» και «3 Ανάλυση αφηγημάτων» δείχνουν τους τρεις άξονες του μαθήματος.

Φοιτητής το 2024 περιγράφει το μάθημα ως «νέο πεδίο με σημασιολογικές αναλύσεις κειμένων», που αξίζει αν σου αρέσει το αντικείμενο Discord 2024-12 (διαθέσιμο στο πλήρες πακέτο).

Πώς βαθμολογείται¶

Επίσημα: γραπτές εργασίες με ερωτήσεις σύντομης απάντησης και επίλυση προβλημάτων, με τις απαντήσεις να παρουσιάζονται στο φροντιστήριο Περίγραμμα (Κατάλογος).
2023 (χειμερινό): κατά φοιτητή η εξέταση ήταν «σαν ατομική εργασία»: «σου δίνει μια μέρα να την κάνεις και να την στείλεις» Discord 2023-10 (διαθέσιμο στο πλήρες πακέτο).
Φεβρουάριος 2024: οι ασκήσεις ανεβαίνουν στην ομάδα χρηστών και κατά προτίμηση και με μήνυμα στον διδάσκοντα Discord 2024-02 (διαθέσιμο στο πλήρες πακέτο).
Νοέμβριος 2024: ο τρόπος εξέτασης δεν ήταν ακόμη γνωστός· «ανάλογα με το πόσα άτομα θα δηλώσουν το μάθημα» Discord 2024-11 (διαθέσιμο στο πλήρες πακέτο). Λίγες μέρες αργότερα ειπώθηκε ότι θα γίνει δια ζώσης Discord 2024-11 (διαθέσιμο στο πλήρες πακέτο).
2025-26: κατά φοιτητή, οι εξετάσεις γίνονται με ανοιχτές σημειώσεις και «πρέπει να ξέρεις 5 πράγματα» Discord 2025-11 (διαθέσιμο στο πλήρες πακέτο).
Βαρύτητα ανά υποερώτημα (0,5–1,5 μονάδες) φαίνεται στις φωτογραφίες των θεμάτων Εξετάσεις (διαθέσιμο στο πλήρες πακέτο). Το συνολικό σύστημα βαθμολόγησης και η βάση δεν αναφέρονται: Δεν βρέθηκαν πληροφορίες.

Εργασίες & εργαστήρια¶

Δεν υπάρχει εργαστήριο στον κατάλογο (0 ώρες) Κατάλογος. Το 2023-24 η εξέταση είχε μορφή εργασίας με ασκήσεις, από τις οποίες μία (η 5η) αφορούσε μοντέλα Kripke Discord 2024-02 (διαθέσιμο στο πλήρες πακέτο). Φοιτητής ρώτησε το 2025 αν κάποιος έχει «τις ατομικές εργασίες που έβαζε» Discord 2025-02 (διαθέσιμο στο πλήρες πακέτο), χωρίς απάντηση στο κανάλι. Για το 2025-26 δεν αναφέρονται εργασίες εντός εξαμήνου: Δεν βρέθηκαν πληροφορίες.

Εξετάσεις¶

Ο φάκελος Previous Exams/ έχει 4 μεταγραφές θεμάτων, όλες transcription: partial και solutions: none· σύνολο 4 συνεδρίες (λίστα).

2024-02 — Φεβρουάριος 2024: Θέματα 4–5 (Flossie and the Fox με payoffs· τρεις φυλακισμένοι A:black – B:white – C:white).
2025-02 — Φεβρουάριος 2025: Θέμα 3 (άρθρο του Hook για trans-subjectivity, με αποσπάσματα ειδήσεων).
2025-a — χωρίς εκτυπωμένη ημερομηνία (2025): Θέματα 1–2 (μοντέλο Kripke s1–s7· λογικές συνεπαγωγές και αντιπαράδειγμα).
2026-01 — Ιανουάριος 2026: Θέματα 1–5 (μοντέλο Kripke· ταυτολογία· απόδειξη συνεπαγωγής· άρθρο του Hook· Flossie and the Fox· τρεις φυλακισμένοι).
Επαναλαμβανόμενα θέματα: Flossie and the Fox και τρεις φυλακισμένοι Discord 2025-08 (διαθέσιμο στο πλήρες πακέτο), Discord 2026-01 (διαθέσιμο στο πλήρες πακέτο)· κατά φοιτητή «πάντα τα ίδια βάζει» Discord 2025-12 (διαθέσιμο στο πλήρες πακέτο).

Δυσκολίες & παγίδες¶

Ασάφεια για τον τρόπο εξέτασης: κάθε χρονιά ο τρόπος (εργασία, δια ζώσης) ανακοινώνεται αργά και δεν είναι σίγουρος Discord 2024-11 (διαθέσιμο στο πλήρες πακέτο). Το 2024-25 ήταν η πρώτη φορά δια ζώσης κατά φοιτητή Discord 2024-12 (διαθέσιμο στο πλήρες πακέτο).
Η δυσκολία διχάζει: το 2023 χαρακτηρίστηκε «σχετικά» εύκολο Discord 2023-10 (διαθέσιμο στο πλήρες πακέτο), ενώ φοιτητής του 2025 έγραψε ότι είχε αποτύχει στην επαναληπτική (θέματα: Flossie, τρεις φυλακισμένοι, κατανόηση κειμένου) Discord 2025-08 (διαθέσιμο στο πλήρες πακέτο). Άλλος φοιτητής αναφέρει ότι έδωσε το μάθημα «3η φορά» Discord 2026-02 (διαθέσιμο στο πλήρες πακέτο).
Οι σημειώσεις/διαφάνειες δεν διαβάζονται εύκολα χωρίς παρακολούθηση, κατά φοιτητή Discord 2024-12 (διαθέσιμο στο πλήρες πακέτο). Άλλος το 2025 λέει ότι το μάθημα περνιέται και χωρίς παρακολούθηση Discord 2025-11 (διαθέσιμο στο πλήρες πακέτο).
Επικοινωνία με τον διδάσκοντα: τον Φεβρουάριο 2024 φοιτητές ανέφεραν ότι δεν έλαβαν απάντηση σε email και ότι η δεύτερη διεύθυνση της ανακοίνωσης δεν λειτουργούσε Discord 2024-02 (διαθέσιμο στο πλήρες πακέτο).
Ώρες γραφείου: ρωτήθηκαν χωρίς απάντηση Discord 2025-02 (διαθέσιμο στο πλήρες πακέτο).
Φοιτητής του 2024 γράφει ότι έχει εύκολες εναλλακτικές επιλογής για όποιον θέλει απλώς να περάσει Discord 2024-12 (διαθέσιμο στο πλήρες πακέτο).

Υλικό & τρόπος μελέτης¶

Ξεκίνα από τις εισαγωγικές διαφάνειες (Σημασιολογία (διαθέσιμο στο πλήρες πακέτο)) και τις σημειώσεις προτασιακής λογικής (Στοιχεία προτασιακής λογικής (διαθέσιμο στο πλήρες πακέτο)).
Μάθε καλά το παιχνίδι των τριών φυλακισμένων (Three prisoners' dilemma (διαθέσιμο στο πλήρες πακέτο)) και το Flossie and the Fox (Flossie and the Fox (διαθέσιμο στο πλήρες πακέτο)): είναι τα πιο επαναλαμβανόμενα θέματα.
Εξάσκηση σε μοντέλα Kripke και στις τροπικές συνεπαγωγές με το υλικό Epistemic logic (διαθέσιμο στο πλήρες πακέτο).
Για το Θέμα με άρθρο, διάβασε το άρθρο του Hook στον φάκελο eclass/2 Σημασιολογία μέσω παιγνίων/Eπιστημική Λογική του Lacan/.
Φοιτητής: «οι ασκήσεις από τις διαφάνειες» είναι η βάση προετοιμασίας Discord 2025-02 (διαθέσιμο στο πλήρες πακέτο)· άλλος το 2024 σημειώνει ότι οι ασκήσεις «θέλουν λίγη δουλειά» Discord 2024-02 (διαθέσιμο στο πλήρες πακέτο).
Βιβλία στον φάκελο eclass: Fagin et al., Huth–Ryan, Osborne «Introduction to Game Theory», Chwe (πολλά βιβλία, κυρίως ως επιπλέον ανάγνωση).
Φωτογραφίες θεμάτων: 2025 (χωρίς εκτυπωμένη ημερομηνία) (διαθέσιμο στο πλήρες πακέτο), Φεβρουάριος 2025 (διαθέσιμο στο πλήρες πακέτο), Ιανουάριος 2026 (διαθέσιμο στο πλήρες πακέτο).

Συχνές ερωτήσεις¶

Τι είναι ακριβώς αυτό το μάθημα; Το 2022 οι φοιτητές το έλεγαν «μάθημα-φάντασμα» Discord 2022-10 (διαθέσιμο στο πλήρες πακέτο). Το περιεχόμενο φαίνεται στις διαφάνειες παραπάνω.
Περνιέται χωρίς παρακολούθηση; Κατά φοιτητή το 2025 ναι· οι εξετάσεις έχουν ανοιχτές σημειώσεις Discord 2025-11 (διαθέσιμο στο πλήρες πακέτο).
Από πού διαβάζουμε; Τις διαφάνειες και τις ασκήσεις τους· «έχει στάνταρ» θέματα Discord 2025-11 (διαθέσιμο στο πλήρες πακέτο).
Υπάρχουν παλιά θέματα; Κατά φοιτητή τα έχει το pinned του καναλιού, αλλιώς «τα βγάζουν φωτό» μετά την εξέταση Discord 2025-12 (διαθέσιμο στο πλήρες πακέτο).
Πού γίνεται η εξέταση; Το 2025 στην αίθουσα Δ2, σε διάδρομο έξω από το κύριο κτίριο, δίπλα στο εργαστήριο λογικής Discord 2025-02 (διαθέσιμο στο πλήρες πακέτο).
Δίνει απαλλακτική εργασία; Ρωτήθηκε το 2024 αν υπάρχει «απαλλακτική» Discord 2024-11 (διαθέσιμο στο πλήρες πακέτο)· η απάντηση αφορούσε τον τρόπο εξέτασης, όχι απαλλακτική. Δεν βρέθηκαν πληροφορίες για απαλλακτική.

Πηγές & αξιοπιστία¶

Κατάλογος 2025-26 Κατάλογος: ECTS, ώρες, τομέας, διδάσκοντες.
Επίσημο περίγραμμα: Περίγραμμα (Κατάλογος). Ο τίτλος του pdf («Σημασιολογία και Ορθότητα Προγραμμάτων») και το περιεχόμενο (λογική πρώτης τάξης) δεν ταιριάζουν με το πραγματικό υλικό των ετών 2023-2025 στο eClass. Εμπιστεύσου το eClass και τα θέματα για το τι εξετάζεται.
Discord: μόλις 114 μηνύματα σε 8 περιόδους (2021–2026). Οι περισσότερες πληροφορίες προέρχονται από μεμονωμένους φοιτητές και δεν επιβεβαιώνονται. Δεν υπάρχουν στοιχεία για βαθμολογική βάση, ποσοστά επιτυχίας ή βάρη.
Previous Exams/: 4 συνεδρίες (μεταγραφές partial, χωρίς λύσεις· solutions: none).

Αρχεία του φακέλου¶

Παράγεται αυτόματα από tools/render_readmes.py — αλλαγές εδώ χάνονται στην επόμενη εκτέλεση.

Φάκελος	Περιεχόμενο
`discord/` (διαθέσιμο στο πλήρες πακέτο)	8 περίοδοι συζητήσεων Discord · 114 μηνύματα
`Previous Exams/`	4 συνεδρίες εξετάσεων · 6 πρωτότυπα αρχεία (6 εικόνες) · 6 μεταγραφές · ανακλήσεις από Discord
`eclass/` (διαθέσιμο στο πλήρες πακέτο)	99 αρχεία (1 εικόνες) · 81 κείμενα (sidecar)
`other/`	2 αρχεία (1 εικόνες)