M.C.Escher, "Drawing Hands"

 

 

 

 

 

η μαθηματική λογική και οι αλγόριθμοι

 

 

 

 

 

zikos.edu.gr <

  

          Kurt Gödel

             1o Θεώρημα μη-πληρότητας (On Formally Undecidable Propositions of

             Principia Mathematica and Related Systems)

 

                    Alan Mathison Turing

                       On Computable Numbers, with an Application to the

                       "Entscheidungsproblem"

 

                            Μ.Π.Λ.Α.

                               Λογική και Θεωρία Αλγορίθμων και Υπολογισμού

                               (Διαπανεπιστημιακό πρόγραμμα μεταπτυχιακών σπουδών)

 

                                     Μια Εισαγωγή στη Δυναμική Λογική

                                        (η μεταπτυχιακή μου εργασία)

 

                                     Εγκατάσταση TeX

 

                                            Κλάσεις πολυπλοκότητας

 

                                                   Ο π είναι υπολογίσιμος αριθμός

                                                      (μία άσκηση)

 

                                                           β-αναγωγή στο λ-λογισμό

                                                               (μία προγραμματιστική άσκηση)

 

                                                                    Προσομοιωτής Μηχανών Turing

                                                                         (μία ακόμα προγραμματιστική άσκηση)

 

 

zikos.edu.gr <