Γεώργιος Κολέτσος
Διευθυντής
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Διευθυντής
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Διευθυντής
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Διευθυντής
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Διευθυντής
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
-
Καθηγητής,
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA
courses given
| Course | Semester | |
|---|---|---|
| Λ1. | Μαθηματική λογική | 2014-2015, εαρινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 2014-2015, εαρινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 2013-2014, εαρινό εξάμηνο |
| Λ13Α. | Εφηρμοσμένη Θεωρία Αποδείξεων | 2013-2014, χειμερινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 2012-2013, εαρινό εξάμηνο |
| Λ15. | Θεωρία αποδείξεων | 2012-2013, χειμερινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 2011-2012, εαρινό εξάμηνο |
| Λ15. | Θεωρία αποδείξεων | 2009-2010, χειμερινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 2008-2009, εαρινό εξάμηνο |
| Λ08Ν. | Functional interpretation of arithmetic | 2008-2009, εαρινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 2007-2008, εαρινό εξάμηνο |
| Λ15. | Θεωρία αποδείξεων | 2007-2008, χειμερινό εξάμηνο |
| Λ98Γ. | Category theory and applications | 2006-2007, χειμερινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 2005-2006, εαρινό εξάμηνο |
| Λ15. | Θεωρία αποδείξεων | 2005-2006, χειμερινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 2004-2005, εαρινό εξάμηνο |
| Λ04Α. | Αποδείξεις και προγράμματα | 2004-2005, χειμερινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 2001-2002, εαρινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 1999-2000, εαρινό εξάμηνο |
| Λ15. | Θεωρία αποδείξεων | 1998-1999, εαρινό εξάμηνο |
| Λ14. | Εισαγωγή στο λ-λογισμό | 1997-1998, χειμερινό εξάμηνο |
| 21 courses. | ||
seminars given
No seminars given.