Υπολογισιμότητα, αναδρομικές συναρτήσεις

• Main Authors: Koletsos, Georgios, Κολέτσος, Γεώργιος
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ; Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism

Η έννοια της υπολογίσιμης συνάρτησης. Μοντέλα υπολογισμού. Μηχανές Turing και Turing υπολογίσιμες συναρτήσεις. Αναδρομικές συναρτήσεις. Πρωτογενείς αναδρομικές συναρτήσεις. Ο τελεστής ελαχιστοποίησης του Kleene και οι γενικές ολικές και μερικές αναδρομικές συναρτήσεις. <br/>Σχήματα δημιουργίας...