Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων τού Martin-Löf
Κωδικός : DI553
Παρουσιάσεις 8 Φεβρουαρίου
Τήν Δευτέρα 8 Φεβρουαρίου θα γίνουν οι εξής παρουσιάσεις: Στις 12:00, ο κύριος Καραγιάννης-Αξυπολιτίδης θα παρουσιάσει τό θεώρημα τού Diaconescu. Αμέσως μετά, ο κύριος Ποτσάκης θα μιλήσει για πληθικούς αριθμούς στήν ομοτοπική θεωρία τύπων.