Εισαγωγή στο λ-λογισμό: 2012-2013, εαρινό εξάμηνο
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: | Γεώργιος Κολέτσος & Γιώργος Σταυρινός |
|---|---|
| Start date: | 05 Μαρτίου 2013 |
| End date: | |
| Website: | http://www.math.ntua.gr/logic/proof-theory/lcalc.htm |
Teaching hours
- every Τρίτη, 15:15-17:00, 101, ΣΗΜΜΥ, ΕΜΠ (νέα κτ.) (Κολέτσος)
- every Πέμπτη, 15:15-17:00, 101, ΣΗΜΜΥ, ΕΜΠ (νέα κτ.) (Κολέτσος)
Comments