Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων
Κωδικός : DI636
Θέματα εργασιών
Στό περίγραμμα τού μαθήματος μπορείτε να δείτε προτάσεις για θέματα εργασιών. Κάποιες αναφορές που λείπουν θα συμπληρωθούν σύντομα.
Οι παρουσιάσεις θα γίνουν μετά από τό πέρας τών μαθημάτων. Μπορείτε να τίς κάνετε με διαφάνειες ή στόν πίνακα (ή με συνδυασμό τών δύο). Δεν υπάρχει αυστηρός κανόνας σχετικά με τή διάρκεια.