Κωνσταντίνος Δ. Κούτρας
-
Επίκουρος Καθηγητής,
Department of Computer Science and Technology, UoP
-
University of Crete
-
ΜΠΛΑ
| Website: | http://www.uop.gr/~ckoutras |
|---|
courses given
| Course | Semester | |
|---|---|---|
| Λ1. | Μαθηματική λογική | 2015-2016, εαρινό εξάμηνο |
| Λ99Γ. | Τροπική λογική | 2014-2015, εαρινό εξάμηνο |
| ΜΝ13. | Πρωτοβάθμια Τροπική Λογική | 2012-2013, εαρινό εξάμηνο |
| Λ99Γ. | Τροπική λογική | 2012-2013, χειμερινό εξάμηνο |
| ΜΝ11β. | Nonmonotonic Logic | 2011-2012, εαρινό εξάμηνο |
| ΜΠ11. | Τροπική λογική | 2011-2012, εαρινό εξάμηνο |
| ΜΓ09. | Καθολική άλγεβρα | 2009-2010, εαρινό εξάμηνο |
| ΜA09. | Lattices και θεωρία διάταξης | 2009-2010, χειμερινό εξάμηνο |
| Λ16. | Μη-κλασικές λογικές | 2001-2002, χειμερινό εξάμηνο |
| Λ99Γ. | Τροπική λογική | 1999-2000, χειμερινό εξάμηνο |
| Λ16. | Μη-κλασικές λογικές | 1998-1999, εαρινό εξάμηνο |
| 11 courses. | ||
seminars given
| ημερομηνία | τίτλος | |
|---|---|---|
| 2003/12/19 | Multiple-valued Modal Logic: definability, completeness, model theory | |
| 2000/12/15 | Theory of definability and completeness in Modal Logic | |
| 2000/05/19 | Modal Logics of Knowledge and Multiple Intelligent Agents | |
| 3 seminars. | ||
PhD theses supervised
| τίτλος | student | defense |
|---|---|---|
| Επιστημικές τροπικές λογικές δίχως επίγνωση της άγνοιας. Γνωσιακές δομές, και επεκτάσεις με εκτίμηση και πληροφόρηση. | 2012-09-13 | |
| 1 PhD thesis. | ||