Ανακοινώσεις μαθήματος Ειδικά Θέματα Λογικής: Θεωρία Τύπων

Προγραμματισμός τηλεσυνεργασίας

Sat, 04 Apr 2026 16:34:40 +0300

Η τηλεσυνεργασία με τίτλο "Παρουσίαση εργασίας" προγραμματίστηκε για τις 2026-04-04 17:00:00

Παρουσίαση 3 Απριλίου

Fri, 03 Apr 2026 12:08:16 +0300

Η σημερινή παρουσίαση αναβάλλεται λόγω ασθένειας.

Παρουσιάσεις εργασιών — Τροποποίηση

Wed, 18 Mar 2026 21:14:30 +0300

Φαίνεται ότι υπάρχει διάθεση να παρουσιάσουν όλοι στίς 27 Μαρτίου. Επομένως, ακυρώνεται η συνάντηση στίς 20 και, αν ο χρόνος δεν φτάσει για όλες τίς παρουσιάσεις, θα βάλουμε άλλη μία φορά (πιθανώς στίς 3 Απριλίου).

Παρουσιάσεις εργασιών

Wed, 18 Mar 2026 15:13:15 +0300

Καλησπέρα,

Στίς 20 και 27 Μαρτίου θα συναντηθούμε στήν αίθουσα Ζ τού ΤΠΤ στίς 4μμ για τίς παρουσιάσεις τών εργασιών.

Μέχρι στιγμής, ο Βασίλης και ο Αντώνης έχουν πει ότι θα παρουσιάσουν στίς 27, οπότε φαντάζομαι ότι ο Φραγκίσκος θα παρουσιάσει στίς 20.

Καλή συνέχεια,

Ν. Ρήγας

Διάλεξη 16 Ιανουαρίου

Fri, 16 Jan 2026 12:38:42 +0300

Η σημερινή διάλεξη δεν θα πραγματοποιηθεί. Η επόμενη διάλεξη θα γίνει τήν Παρασκευή 23 Ιανουαρίου.

Επόμενες διαλέξεις

Mon, 08 Dec 2025 12:16:33 +0300

Οι επόμενες δύο διαλέξεις θα γίνουν Τετάρτη 10 και 17 Δεκεμβρίου στίς 6μμ στήν αίθουσα Δ τού ΤΠΤ.

Θέματα εργασιών

Sat, 06 Dec 2025 12:51:10 +0300

Στό περίγραμμα τού μαθήματος μπορείτε να δείτε προτάσεις για θέματα εργασιών. Κάποιες αναφορές που λείπουν θα συμπληρωθούν σύντομα.

Οι παρουσιάσεις θα γίνουν μετά από τό πέρας τών μαθημάτων. Μπορείτε να τίς κάνετε με διαφάνειες ή στόν πίνακα (ή με συνδυασμό τών δύο). Δεν υπάρχει αυστηρός κανόνας σχετικά με τή διάρκεια.

Διάλεξη 5/12

Fri, 05 Dec 2025 14:54:08 +0300

Μετά από απόφαση τής πρυτανείας, όλες οι δια ζώσης λειτουργίες του ΕΚΠΑ αναβάλλονται λόγω καιρικών συνθηκών. Κατόπιν τούτου, τό σημερινό μάθημα δεν θα πραγματοποιηθεί.

Διάλεξη 28 Νοεμβρίου

Fri, 28 Nov 2025 16:00:07 +0300

Λόγω διαφόρων κωλυμάτων, ή σημερινή διάλεξη δεν θα γίνει. Για τήν αναπλήρωση θα ενημερωθείτε σε άλλη ανακοίνωση.

Σημειώσεις κ.λπ.

Tue, 11 Nov 2025 01:34:01 +0300

Η θεωρία τύπων τού Martin-Löf ολοκληρώθηκε. Στό επόμενο μάθημα ο Ανδρέας θα κάνει μία σύντομη παρουσίαση τής Agda, και μετά θα μπούμε στήν ομοτοπική θεωρία τύπων.

Υπάρχουν νεότερες σημειώσεις που καλύπτουν ό,τι έχουμε κάνει μέχρι τώρα. Περιέχουν λύσεις όλων τών ασκήσεων, ωστόσο αυτό δεν πρέπει να σάς εμποδίσει να προσπαθήσετε να τίς λύσετε μόνοι σας.

Σημειώσεις

Sun, 19 Oct 2025 20:24:50 +0300

Υπάρχουν νεότερες σημειώσεις που περιλαμβάνουν μέχρι και τήν τρίτη διάλεξη.

Σημειώσεις

Mon, 13 Oct 2025 22:32:34 +0300

Ανέβηκαν οι σημειώσεις τών δύο πρώτων διαλέξεων. Οι σημειώσεις είναι μία σύνθεση παλαιότερου υλικού και τών σημειώσεων που κράτησε ο Ανδρέας Αβουκάτος, τόν οποίο θα ήθελα να ευχαριστήσω.

Νέα ώρα και αίθουσα

Thu, 02 Oct 2025 12:35:51 +0300

Αγαπητοί φοιτητές,

Δυστυχώς, δεν βρέθηκε διαθέσιμη αίθουσα για Παρασκευή 3-4 μμ, οπότε τό μάθημα θα γίνεται 4-7 μμ στήν αίθουσα Β τού ΤΠΤ. Τό πρώτο μάθημα εξακολουθεί να είναι τήν Παρασκευή 3/10. Ζητώ συγγνώμη, εκ μέρους τού ΑΛΜΑ, για τήν αναστάτωση, και ελπίζω τό πρόβλημα με τίς αίθουσες κάποια στιγμή να λυθεί.

Νίκος Ρήγας

Αλλαγή ώρας

Wed, 01 Oct 2025 20:55:03 +0300

Λόγω τής σύμπτωσης με άλλα μαθήματα τού ΑΛΜΑ, στήν πρώτη συνάντηση αποφασίστηκε τό μάθημα να μεταφερθεί Παρασκευή 3-6 μμ, ξεκινώντας από τήν Παρασκευή 3/10. Θα υπάρξει άλλη ανακοίνωση σχετικά με τήν αίθουσα.

Ειδικά θέματα λογικής: Θεωρία τύπων

Thu, 25 Sep 2025 13:37:25 +0300

Αγαπητοί φοιτητές,

Τό σεμιναριακό μάθημα τής θεωρίας τύπων θα γίνεται Τετάρτη 11:00–14:00 στήν αίθουσα Δ τού ΤΠΤ. Η πρώτη συνάντηση θα πραγματοποιηθεί τήν Τετάρτη 1 Οκτωβρίου.

Νίκος Ρήγας