Georgios Koletsos
Director
Member of the special inter-departmental committee
Director
Member of the special inter-departmental committee
Director
Member of the special inter-departmental committee
Member of the special inter-departmental committee
Director
Member of the special inter-departmental committee
Director
Member of the special inter-departmental committee
-
Professor,
School of Electrical and Computer Engineering, NTUA
courses given
| Course | Semester | |
|---|---|---|
| Λ1. | Mathematical logic | 2014-2015, spring semester |
| Λ14. | Introduction to λ-calculus | 2014-2015, spring semester |
| Λ14. | Introduction to λ-calculus | 2013-2014, spring semester |
| Λ13Α. | Applied Proof Theory | 2013-2014, fall semester |
| Λ14. | Introduction to λ-calculus | 2012-2013, spring semester |
| Λ15. | Proof theory | 2012-2013, fall semester |
| Λ14. | Introduction to λ-calculus | 2011-2012, spring semester |
| Λ15. | Proof theory | 2009-2010, fall semester |
| Λ14. | Introduction to λ-calculus | 2008-2009, spring semester |
| Λ08Ν. | Functional interpretation of arithmetic | 2008-2009, spring semester |
| Λ14. | Introduction to λ-calculus | 2007-2008, spring semester |
| Λ15. | Proof theory | 2007-2008, fall semester |
| Λ98Γ. | Category theory and applications | 2006-2007, fall semester |
| Λ14. | Introduction to λ-calculus | 2005-2006, spring semester |
| Λ15. | Proof theory | 2005-2006, fall semester |
| Λ14. | Introduction to λ-calculus | 2004-2005, spring semester |
| Λ04Α. | Proofs and programs | 2004-2005, fall semester |
| Λ14. | Introduction to λ-calculus | 2001-2002, spring semester |
| Λ14. | Introduction to λ-calculus | 1999-2000, spring semester |
| Λ15. | Proof theory | 1998-1999, spring semester |
| Λ14. | Introduction to λ-calculus | 1997-1998, fall semester |
| 21 courses. | ||
seminars given
No seminars given.