Αρχική » Ανθρώπινο Δυναμικό » Μέλη ΔΕΠ και βιογραφικά » Κωνσταντίνος Δημητρακόπουλος

Κωνσταντίνος Δημητρακόπουλος

Βασικές πληροφορίες

Βαθμίδα: Καθηγητής
Γνωστικό αντικείμενο: Λογική
Τομέας: Ιστορίας της Επιστήμης και της Τεχνολογίας

Στοιχεία Επικοινωνίας

Τηλέφωνο : (+30) 210 727 5523
Φαξ : (+30) 210 727 5530
E-mail: cdimitr[at]phs.uoa[dot]gr
Ώρες υποδοχής: Πέμπτη, 12.00-14.00
Προσωπική Ιστοσελίδα: mpla.math.uoa.gr/~cdimitr/
Διεύθυνση επικοινωνίας: Τμήμα ΜΙΘΕ, Πανεπιστήμιο Αθηνών, Πανεπιστημιόπολη, 15771 Αθήνα

Ακαδημαϊκές Πληροφορίες

Σπουδές

  • 1971-1975  Τμήμα Μαθηματικών, Πανεπιστήμιο Αθηνών
  • 1976-1980  Τμήμα Μαθηματικών, Πανεπιστήμιο Μάντσεστερ (U.K.)

Ερευνητικά ενδιαφέροντα

  • Μαθηματική Λογική
  • Θεωρία Συνόλων
  • Ιστορία της Λογικής

Μαθήματα – Σεμινάρια

Προπτυχιακά

Υποχρεωτικά:
  • Κ026. Στοιχεία Λογικής και Θεωρίας Συνόλων
Κατ’ επιλογήν υποχρεωτικά:
  • Ι204. Ιστορία της Λογικής

ΠΜΣ «Ιστορία και Φιλοσοφία των Επιστημών και της Τεχνολογίας»

  • Λογική
  • Ιστορία της Λογικής

Επιλεγμένες Δημοσιεύσεις:

  • C. Dimitracopoulos: On end extensions of models of subsystems of Peano arithmetic, Theoret. Comput. Sci. 257 (2001), 79--84.
  • Κ. Δημητρακόπουλος: Αλήθεια και Απόδειξη: Τα θεωρήματα του Goedel, Νεύσις 11 (2002), 75-84.
  • A. Sirokofskich and C. Dimitracopoulos: On a problem of J. Paris, J. Logic Comput. 17 (2007), 1099--1107.
  • Ch. Cornaros and C. Dimitracopoulos: On two problems concerning end extensions, Arch. Math. Logic 47 (2008), 1--14.
  • Κ. Δημητρακόπουλος: Η Αριστοτέλεια Συλλογιστική, στο Στιγμές και Διάρκειες, Δ. Αναπολιτάνος (επιμ.), Νεφέλη, 2009, 101—118.
  •  Ε. Γιαννακούλιας και Κ. Δημητρακόπουλος: Η πληρότητα του προτασιακού λογισμού των Στωϊκών, Νεύσις 20 (2011/2012), 130--165.
  • C. Dimitracopoulos and V. Paschalis: End extensions of weak arithmetic theories, 12 pages, to appear in Notre Dame J. Form. Log.

Άλλες πληροφορίες

  • Κριτής (referee) 21 εργασιών για διάφορα επιστημονικά περιοδικά, όπως Annals of Pure and Applied Logic, Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of Symbolic Logic, Notre Dame Journal of Formal Logic, Theoretical Computer Science κ.α.
  • 71 ανασκοπήσεις (reviews) περιλήψεων για τόμους πρακτικών διαφόρων πανελληνίων και διεθνών συνεδρίων, όπως Computability in Europe 2007 (Siena), 23rd World Congress of Philosophy (Αθήνα, 2013), 33rd Weak Arithmetics Days (Gothenburg, 2014), 3ο Πανελλήνιο Συνέδριο Φιλοσοφίας της Επιστήμης (Αθήνα, 2014).
  • 88 ανασκοπήσεις ερευνητικών άρθρων για το περιοδικό Mathematical Reviews, καθώς και 8 βιβλιοκρισίες για τα περιοδικά Mathematical Reviews (2), Journal of Symbolic Logic (2) και Metascience (4).
  • Συν-επιμελητής έκδοσης του τόμου Proceedings of Logic Colloquium 2005, Lecture Notes in Logic 28, Cambridge University Press, 2008.
  • Συν-επιμελητής έκδοσης του τόμου Proceedings of Computability in Europe 2008, Lecture Notes in Computer Science 5028, Springer-Verlag, 2008.
  • Συν-επιμελητής έκδοσης του τόμου New Studies in Weak Arithmetics, Lecture Notes 205, CSLI Publications, Stanford, 2013.
  • Επιβλέπων 17 πτυχιακών εργασιών (στο Τμήμα ΜΙΘΕ), 12 διπλωματικών εργασιών (1 στο Πανεπιστήμιο Κρήτης και 11 στο Πανεπιστήμιο Αθηνών) και 2 διδακτορικών διατριβών (1 στο Πανεπιστήμιο Κρήτης και 1 στο Πανεπιστήμιο Αθηνών).
  • Μέλος τριμελούς συμβουλευτικής επιτροπής 7 διδακτορικών διατριβών και μέλος επταμελούς εξεταστικής επιτροπής 28 διπλωματικών εργασιών και 30 διδακτορικών διατριβών (σε διάφορα ελληνικά ΑΕΙ).