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
  • Alumni
  • Seminars
  • Links

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

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

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

24/06/2025
Πρόσκληση σε ομιλία Μιχάλη Γιαννακάκη (25/6) και στην τελετή αναγόρευσής του ως Επίτιμου Διδάκτορα του ΕΜΠ (26/6)
07/06/2025
Παρουσιάσεις «Παραµετρική Πολυπλοκότητα και Αλγόριθµοι»
02/06/2025
Παράταση προθεσμίας υποβολής αιτήσεων
21/05/2025
Παρουσίαση των ΠΜΣ και ΔΠΜΣ του τμ. Μαθηματικών ΕΚΠΑ
09/05/2025
Παρουσίαση των ΠΜΣ και ΔΠΜΣ του Τμ. Πληροφορικής και Τηλεπικοινωνιών ΕΚΠΑ
05/05/2025
Ορκωμοσία αποφοίτων χειμερινής περιόδου 2024-2025
28/04/2025
Προκήρυξη εισαγωγής φοιτητών για το ακαδημαϊκό έτος 2025-26
15/04/2025
Δηλώσεις μαθημάτων και Διπλωματικών Εαρινού εξαμήνου 2024-25
28/03/2025
Παρουσίαση διπλωματικής εργασίας Αντώνη Γκάνιου
17/03/2025
Παρουσίαση διπλωματικής εργασίας Ορέστη Μηλολιδάκη

Αναζήτηση

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