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: Logic and Computer Science: λ-calculus, Curry-Howard Isomorphism

Year
2022-2023
Semester
Spring
Type
Elective
Taught by
Giorgos Koletsos

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

07/10/2024
Πρόσκληση σε υποδοχή των πρωτοετών φοιτητών του ΑΛΜΑ
16/09/2024
Παρουσίαση διπλωματικής εργασίας Γεωργίου Τσούμα
16/09/2024
Παρουσίαση διπλωματικής εργασίας Βασίλειου Σταμάτη
19/07/2024
Αποτελέσματα εισαγωγής φοιτητών στο ΔΠΜΣ ΑΛΜΑ για το ακ. έτος 2024-2025
12/07/2024
Ομιλία Γιώργου Μπαρμπαλιά
10/07/2024
Παρουσίαση διπλωματικής εργασίας Βασιλικής Ρασκοπούλου
04/07/2024
Παρουσίαση διπλωματικής εργασίας Φίλιππου Αποστόλου
03/07/2024
Παρουσίαση διπλωματικής εργασίας Ρωμανού Ασλάνη-Πέτρου
31/05/2024
Παράταση προθεσμίας υποβολής αιτήσεων
23/05/2024
Πρόσκληση συμμετοχής στην αξιολόγηση μαθημάτων

Αναζήτηση

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