Skip to main content
Home
ALMA
INTER-INSTITUTIONAL GRADUATE PROGRAM "ALGORITHMS, LOGIC AND DISCRETE MATHEMATICS"
  • English
  • Ελληνικά

Κεντρική πλοήγηση

Show — Κεντρική πλοήγηση Hide — Κεντρική πλοήγηση
  • Home
  • By-Laws
  • Quality Policy
  • Staff
  • Courses
  • History
  • Posts
  • Forms
  • Theses
  • Seminars
  • Links

Special Topics in Logic: Martin-Löf Type Theory

Year
2020-2021
Semester
Fall
Type
Elective
Taught by
Nikolaos Rigas
Website
https://eclass.uoa.gr/courses/DI553/
Start date
7/10/2020

Τελευταίες ανακοινώσεις

26/12/2022
Παρουσίαση διπλωματικής εργασίας Δανάης Μπάλλα
20/12/2022
Ορκωμοσία αποφοίτων ΑΛΜΑ
17/12/2022
Τελική εξέταση του μαθήματος Θεωρία Συνόλων
07/12/2022
Δηλώσεις μαθημάτων Χειμερινού εξαμήνου 2022-23
06/11/2022
Παρουσίαση διπλωματικής εργασίας Φίλιππου Μαυρόπουλου
27/10/2022
1ος ετήσιος Φοιτητικός Διαγωνισμός Καινοτομίας και Επιχειρηματικότητας του ΕΚΠΑ
16/10/2022
Παρουσίαση διπλωματικής εργασίας Μαρίας-Ιωάννας Σπυράκου
07/10/2022
Πρόσκληση σε υποδοχή των πρωτοετών φοιτητών του ΑΛΜΑ
22/09/2022
Παρουσίαση διπλωματικής εργασίας Μερκούρη Παπαμιχαήλ
22/09/2022
Παρουσίαση διπλωματικής εργασίας Νικήτα Πασλή

Αναζήτηση

A.L.MA. 2016-          Contact          Powered by Drupal