M.C.Escher, "Drawing Hands" |
η μαθηματική λογική και οι αλγόριθμοι |
|
1o Θεώρημα μη-πληρότητας (On Formally Undecidable Propositions of Principia Mathematica and Related Systems)
On Computable Numbers, with an Application to the
■ Μ.Π.Λ.Α. Λογική και Θεωρία Αλγορίθμων και Υπολογισμού (Διαπανεπιστημιακό πρόγραμμα μεταπτυχιακών σπουδών)
■ Μια Εισαγωγή στη Δυναμική Λογική (η μεταπτυχιακή μου εργασία)
■ Ο π είναι υπολογίσιμος αριθμός (μία άσκηση)
(μία προγραμματιστική άσκηση)
(μία ακόμα προγραμματιστική άσκηση)
|
|