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

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

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

Αναζήτηση

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