Skip to main content
Home
ΑΛΜΑ
ΔΙΙΔΡΥΜΑΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ «ΑΛΓΟΡΙΘΜΟΙ, ΛΟΓΙΚΗ ΚΑΙ ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ»
  • English
  • Ελληνικά

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

Show — Κεντρική πλοήγηση Hide — Κεντρική πλοήγηση
  • Κεντρική σελίδα
  • Κανονισμός σπουδών
  • Προσωπικό
  • Μαθήματα
  • Παλαιότερα έτη
  • Ανακοινώσεις
  • Ηλεκτρονικά έντυπα
  • Διπλωματικές
  • Σεμινάρια

Ειδικά Θέματα Λογικής: Θεωρία Τύπων του Martin-Löf

Έτος
2020-2021
Εξάμηνο
Χειμερινό
Τύπος
Επιλογής
Διδάσκοντες
Νικόλαος Ρήγας
Ιστοσελίδα
https://eclass.uoa.gr/courses/DI553/
Ημερομηνία έναρξης
7/10/2020

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

09/05/2022
Θερινό σχολείο στη Θεωρία Αριθμών και την Κρυπτογραφία
06/05/2022
Ορκωμοσία αποφοίτων ΑΛΜΑ
19/04/2022
Προκήρυξη ακαδημαϊκού έτους 2022-23
05/04/2022
Αναβολή μαθημάτων της Τετάρτης 6/4/2022
04/04/2022
Δήλωση μαθημάτων Εαρινού Εξαμήνου Α.Ε. 2021-22
24/03/2022
Παρουσίαση διπλωματικής εργασίας Κωνσταντίνου Τσατσάνη
22/03/2022
Ομιλία σεμιναρίου ΑΛΜΑ
12/02/2022
Διημερίδα με θέμα: New Trends and Beyond Worst-case Analysis on Mechanism Design and Approximation Algorithms
09/12/2021
Δήλωση μαθημάτων Χειμερινού Εξαμήνου Α.Ε. 2021-22
29/10/2021
Παρουσίαση διπλωματικής εργασίας Θωμά Πιπιλίκα

Αναζήτηση

Α.Λ.ΜΑ. 2016-          Επικοινωνία          Βασισμένο στο Drupal