This item is provided by the institution :

Repository :
Kallipos Repository
see the original item page
in the repository's web site and access all digital files if the item*
share




2015 (EN)
Υπολογισιμότητα, αναδρομικές συναρτήσεις (EL)
Computability, recursive functions (EN)

Κολέτσος, Γεώργιος (EL)
Koletsos, Georgios (EN)

Τουλάτου, Δήμητρα (EL)
Δημητρακόπουλος, Κωνσταντίνος (EL)
Σταυρινός, Γιώργος (EL)
Κάλλιπος (EL)
Toulatou, Dimitra (EN)
Stavrinos, Giorgos (EN)
Kallipos (EN)
Dimitrakopoulos, Konstantinos (EN)

Η έννοια της υπολογίσιμης συνάρτησης. Μοντέλα υπολογισμού. Μηχανές Turing και Turing υπολογίσιμες συναρτήσεις. Αναδρομικές συναρτήσεις. Πρωτογενείς αναδρομικές συναρτήσεις. Ο τελεστής ελαχιστοποίησης του Kleene και οι γενικές ολικές και μερικές αναδρομικές συναρτήσεις. Σχήματα δημιουργίας και χειρισμού των αναδρομικών συναρτήσεων. Η β-συνάρτηση του Gödel και οι αριθμοί ακολουθίας. Κωδικοποίηση και αντίστοιχες συναρτήσεις. Απόδειξη ότι η πρωτογενής αναδρομή ορίζεται με βάση τα σχήματα της γενικής αναδρομής. Ισοδυναμία των αναδρομικών συναρτήσεων και των Turing ορίσιμων. Ανάλυση της έννοιας του υπολογίσιμου και το αίτημα του Church. (EL)

learningMaterial
bookChapter

ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ (EL)
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism (EN)

Σύνδεσμος Ελληνικών Ακαδημαϊκων Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)


Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)

2015



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)