Ειδικά Θέματα Υπολογιστικής Λογικής¶

Μάθημα μαθηματικής λογικής για πληροφορικούς: προτασιακοί τύποι, συνεπαγωγή, τυπικές αποδείξεις (tableaux, resolution), ορθότητα και πληρότητα. Στα υλικά των τελευταίων ετών επεκτείνεται σε τροπική και επιστημική λογική (γνώση παικτών, Kripke models, γρίφοι όπως «οι τρεις φυλακισμένοι»). Είναι αυστηρά μαθηματικό μάθημα, με αποδείξεις αντί για προγραμματισμό.

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

Με μια ματιά¶


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

Τι θα μάθεις¶

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

Το αρχείο βασικής ύλης (διαθέσιμο στο πλήρες πακέτο) του eClass ορίζει συγκεκριμένα κεφάλαια: Huth–Ryan 1.3–1.5 και Fitting 2.2–2.8, 3.1, 3.3, 3.4, 4.3, 4.4 eClass (διαθέσιμο στο πλήρες πακέτο). Για επανάληψη των βάσεων προτείνει σημειώσεις επαγωγής και διακριτών μαθηματικών (Κοσμαδάκης, Βούρος, Rosen, Κολουντζάκης).

Στα φύλλα διαφανειών φαίνεται ότι η ύλη πήγε πέρα από το περίγραμμα:

2023-24: αναδρομικοί ορισμοί τύπων, επιστημική λογική με το δίλημμα των τριών φυλακισμένων και το πρόβλημα των «σοφών» (modal (διαθέσιμο στο πλήρες πακέτο), wise men (διαθέσιμο στο πλήρες πακέτο)), tableaux για γνώση, model existence και πληρότητα πρώτης τάξης (μαθήματα 9–13) eClass (διαθέσιμο στο πλήρες πακέτο).
2024-25: προτασιακά tableaux (Smullyan, Fitting κεφ. 3), διαισθητική και τροπική λογική, resolution και πληρότητα (Fitting 3.3, 3.7), situation calculus (άρθρο Lakemeyer (διαθέσιμο στο πλήρες πακέτο)) eClass (διαθέσιμο στο πλήρες πακέτο).

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

Επίσημα: γραπτές εργασίες (ερωτήσεις σύντομης απάντησης και επίλυση προβλημάτων), με έλεγχο πληρότητας θεωρίας και ορθότητας λύσεων· οι λύσεις παρουσιάζονται στο φροντιστήριο Περίγραμμα (Κατάλογος).
Οι ασκήσεις των παλιών φύλλων έχουν μονάδες ανά ερώτημα (π.χ. 1, 1½ ή ½ μονάδα) eClass (διαθέσιμο στο πλήρες πακέτο). Στο φύλλο ασκήσεων 2017-18 (φύλλο 3) ζητείται ατομική απάντηση eClass (διαθέσιμο στο πλήρες πακέτο).
Το Discord δεν έχει καμία αναφορά για ποσοστά ή βάση· τον Οκτώβριο 2021 φοιτητής ρώτησε αν υπάρχει τελική εξέταση ή μόνο ασκήσεις και δεν δόθηκε απάντηση για το συγκεκριμένο μάθημα Discord 2021-10 (διαθέσιμο στο πλήρες πακέτο).
Τον Μάρτιο 2022 φοιτητής ρώτησε αν η εξέταση γίνεται εξ αποστάσεως, με το σκεπτικό ότι ο διδάσκων έτσι κάνει τα μαθήματα· χωρίς απάντηση Discord 2022-03 (διαθέσιμο στο πλήρες πακέτο).

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

Στον φάκελο υπάρχουν ομάδες ασκήσεων του 2016-17 (τρεις) και του 2017-18 (τρεις, συν δύο φύλλα «Σημασιολογία και Ορθότητα Προγραμμάτων») eClass (διαθέσιμο στο πλήρες πακέτο).
Τα θέματα είναι αποδεικτικά: επαγωγή στον αριθμό εφαρμογών των κανόνων tableau, κατασκευή κλειστών tableaux, ιδιότητες συνέπειας και ισοδυναμίες πρώτης τάξης eClass (διαθέσιμο στο πλήρες πακέτο), eClass (διαθέσιμο στο πλήρες πακέτο).

Εξετάσεις¶

Δεν υπάρχουν αρχεία εξετάσεων ούτε ανακλήσεις θεμάτων. Δεν βρέθηκαν πληροφορίες για μορφή, διάρκεια ή επαναλαμβανόμενα θέματα. Το πιο κοντινό υλικό είναι οι παλιές ομάδες ασκήσεων στο eClass, που δείχνουν το στυλ των αποδεικτικών ερωτημάτων eClass (διαθέσιμο στο πλήρες πακέτο).

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

Φοιτητής που παρακολούθησε το 2024 έγραψε ότι του αρέσει αλλά είναι «καμμένα μαθηματικά» και δεν το συνιστά σε όσους δεν τους ενδιαφέρει το αντικείμενο (γνώμη, όχι γεγονός) Discord 2024-03 (διαθέσιμο στο πλήρες πακέτο).
Απόκλιση ύλης: το περίγραμμα μιλά για προτασιακή λογική, ενώ τα υλικά 2023–25 περιλαμβάνουν τροπική και επιστημική λογική και situation calculus· δεν είναι σαφές τι εξετάζεται, γι' αυτό ρώτα στο πρώτο μάθημα eClass (διαθέσιμο στο πλήρες πακέτο), Κατάλογος.
Πολλά υλικά είναι βιβλία και άρθρα στα αγγλικά (Fagin κ.ά., Smullyan, άρθρο για situation calculus) eClass (διαθέσιμο στο πλήρες πακέτο).
Το 2020, σε περίοδο πανδημίας, φοιτητές δυσκολεύτηκαν να βρουν σύνδεσμο για τη διάλεξη και τον Νοέμβριο ρώτησαν γιατί δεν υπάρχει eClass Discord 2020-10 (διαθέσιμο στο πλήρες πακέτο), Discord 2020-11 (διαθέσιμο στο πλήρες πακέτο).
Μετακίνηση εξαμήνου: τον Φεβρουάριο 2024 φοιτητές ανέφεραν ότι το μάθημα μεταφέρθηκε στο εαρινό και, κατά φοιτητές, εμφανιζόταν και στον κατάλογο μεταπτυχιακών, με έναρξη διαδικτυακά την επομένη Discord 2024-02 (διαθέσιμο στο πλήρες πακέτο).

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

Ευρετήριο όλων των αρχείων: eclass_summary (διαθέσιμο στο πλήρες πακέτο).
Βασική ύλη και κεφάλαια: ΠεριγραφήΕΘΥΛ (διαθέσιμο στο πλήρες πακέτο).
Διαφάνειες/σημειώσεις: φάκελοι eclass/Διαφάνειες 2023 -24/ (μαθήματα 1–13) και eclass/Διαφάνειες 24 -25/ (μαθήματα 1–12, με λίστες κεφαλαίων σε HTML) eClass (διαθέσιμο στο πλήρες πακέτο).
Ασκήσεις προηγούμενων ετών: eclass/Ασκήσεις/ (2017-18, φύλλο 1 (διαθέσιμο στο πλήρες πακέτο)).
Βιβλία: eclass/Βιβλία και Βοηθητικό Υλικό/ (Fitting, Huth–Ryan, Smullyan, Rosen, Βούρος, Fagin–Halpern–Moses–Vardi) eClass (διαθέσιμο στο πλήρες πακέτο).
Πρόταση: ξεκίνα με τις σημειώσεις επαγωγής και προτασιακής λογικής και δούλεψε τα φύλλα ασκήσεων, αφού το περίγραμμα προβλέπει επίλυση προβλημάτων· δεν υπάρχουν μαρτυρίες φοιτητών για στρατηγική μελέτης.

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

Τι είναι το μάθημα; Φοιτητής ρώτησε «άποψη για το μάθημα;» το 2022 χωρίς απάντηση στο κανάλι Discord 2022-09 (διαθέσιμο στο πλήρες πακέτο)· η μόνη γνώμη (2024) είναι η παραπάνω Discord 2024-03 (διαθέσιμο στο πλήρες πακέτο).
Έχει τελική εξέταση; Το περίγραμμα προβλέπει γραπτές εργασίες· δεν υπάρχουν μαρτυρίες για τελική εξέταση Discord 2021-10 (διαθέσιμο στο πλήρες πακέτο).
Υπάρχει eClass; Το 2020 ρωτήθηκε γιατί δεν υπάρχει, χωρίς απάντηση· ο φάκελος στο αρχείο έχει 60 αρχεία Discord 2020-11 (διαθέσιμο στο πλήρες πακέτο), eClass (διαθέσιμο στο πλήρες πακέτο).
Σε ποιο εξάμηνο γίνεται; Από τον Φεβρουάριο 2024 οι φοιτητές το βρίσκουν στο εαρινό Discord 2024-02 (διαθέσιμο στο πλήρες πακέτο)· ο κατάλογος 2025-26 το έχει ως μάθημα επιλογής Κατάλογος.

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

ECTS, ώρες, τομέας και διδάσκοντες από τον κατάλογο 2025-26 και το Περίγραμμα (5 ECTS και στα δύο· καμία απόκλιση).
Discord: μόλις 21 μηνύματα σε 6 περιόδους (2020–2024), τα περισσότερα εκτός θέματος· κανένα για βαθμολογία ή θέματα.
eClass: πλούσιο αλλά χωρίς βαθμολογικά κριτήρια· ο ακριβής χαρακτήρας των εξετάσεων δεν τεκμηριώνεται.
Λείπουν: εξετάσεις, ανακλήσεις, γνώμες φοιτητών για τα πρόσφατα έτη.

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

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

Φάκελος	Περιεχόμενο
`discord/` (διαθέσιμο στο πλήρες πακέτο)	6 περίοδοι συζητήσεων Discord · 21 μηνύματα
`eclass/` (διαθέσιμο στο πλήρες πακέτο)	69 αρχεία · 44 κείμενα (sidecar)
`other/`	1 αρχεία