Εισαγωγή στο λ-λογισμό: 2014-2015, εαρινό εξάμηνο
This is a course that has been given 12 times. For information about this course in general (not just for this specific semester), visit its page: Λ14. Εισαγωγή στο λ-λογισμό.
| Taught by: | Γεώργιος Κολέτσος & Γιώργος Σταυρινός |
|---|---|
| Website: | http://www.math.ntua.gr/logic/lambda/ |
Teaching hours
- every Τρίτη, 15:15-17:00, 101, ΣΗΜΜΥ, ΕΜΠ (νέα κτ.)
- every Πέμπτη, 15:15-17:00, 101, ΣΗΜΜΥ, ΕΜΠ (νέα κτ.)
Comments