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

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

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

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

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

02/12/2020
Παρουσίαση διδακτορικής διατριβής Ιωάννη Λιβιεράτου
29/10/2020
Παρουσίαση διπλωματικής εργασίας Ευάγγελου Πρωτόπαπα
28/09/2020
Διαλέξεις Υπολογιστικής Πολυπλοκότητας
26/09/2020
Πρώτη διάλεξη του μαθήματος Λογική
29/07/2020
Αποτελέσματα εισαγωγής φοιτητών στο ΔΠΜΣ ΑΛΜΑ για το ακ. έτος 2020-2021
16/07/2020
Παρουσίαση διπλωματικής εργασίας Ιωάννη Χατζηαγάπη
24/06/2020
Παράταση προθεσμίας προκήρυξης εισαγωγής φοιτητών
06/06/2020
Προκήρυξη ακαδημαϊκού έτους 2020-21
11/01/2020
Ομιλία σεμιναρίου ΑΛΜΑ
12/12/2019
Παρουσίαση διπλωματικής εργασίας Αριστοτέλη Χανιώτη

Αναζήτηση

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