Υπολογισιμότητα, αναδρομικές συναρτήσεις
Η έννοια της υπολογίσιμης συνάρτησης. Μοντέλα υπολογισμού. Μηχανές Turing και Turing υπολογίσιμες συναρτήσεις. Αναδρομικές συναρτήσεις. Πρωτογενείς αναδρομικές συναρτήσεις. Ο τελεστής ελαχιστοποίησης του Kleene και οι γενικές ολικές και μερικές αναδρομικές συναρτήσεις. <br/>Σχήματα δημιουργίας...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/2303 |
| id |
kallipos-11419-2303 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-23032021-07-11T22:02:00Z Υπολογισιμότητα, αναδρομικές συναρτήσεις Computability, recursive functions Koletsos, Georgios Κολέτσος, Γεώργιος ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism Η έννοια της υπολογίσιμης συνάρτησης. Μοντέλα υπολογισμού. Μηχανές Turing και Turing υπολογίσιμες συναρτήσεις. Αναδρομικές συναρτήσεις. Πρωτογενείς αναδρομικές συναρτήσεις. Ο τελεστής ελαχιστοποίησης του Kleene και οι γενικές ολικές και μερικές αναδρομικές συναρτήσεις. <br/>Σχήματα δημιουργίας και χειρισμού των αναδρομικών συναρτήσεων. Η β-συνάρτηση του Gödel και οι αριθμοί ακολουθίας. Κωδικοποίηση και αντίστοιχες συναρτήσεις. Απόδειξη ότι η πρωτογενής αναδρομή ορίζεται με βάση τα σχήματα της γενικής αναδρομής.<br/>Ισοδυναμία των αναδρομικών συναρτήσεων και των Turing ορίσιμων. Ανάλυση της έννοιας του υπολογίσιμου και το αίτημα του Church. 2016-02-04T13:03:10Z 2021-07-09T15:09:11Z 2016-02-04T13:03:10Z 2021-07-09T15:09:11Z 2016-02-04 7 http://localhost:8080/jspui/handle/11419/2303 el 1 application/pdf |
| institution |
Kallipos |
| collection |
DSpace |
| language |
Greek |
| topic |
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism |
| spellingShingle |
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism Koletsos, Georgios Κολέτσος, Γεώργιος Υπολογισιμότητα, αναδρομικές συναρτήσεις |
| description |
Η έννοια της υπολογίσιμης συνάρτησης. Μοντέλα υπολογισμού. Μηχανές Turing και Turing υπολογίσιμες συναρτήσεις. Αναδρομικές συναρτήσεις. Πρωτογενείς αναδρομικές συναρτήσεις. Ο τελεστής ελαχιστοποίησης του Kleene και οι γενικές ολικές και μερικές αναδρομικές συναρτήσεις. <br/>Σχήματα δημιουργίας και χειρισμού των αναδρομικών συναρτήσεων. Η β-συνάρτηση του Gödel και οι αριθμοί ακολουθίας. Κωδικοποίηση και αντίστοιχες συναρτήσεις. Απόδειξη ότι η πρωτογενής αναδρομή ορίζεται με βάση τα σχήματα της γενικής αναδρομής.<br/>Ισοδυναμία των αναδρομικών συναρτήσεων και των Turing ορίσιμων. Ανάλυση της έννοιας του υπολογίσιμου και το αίτημα του Church. |
| format |
7 |
| author |
Koletsos, Georgios Κολέτσος, Γεώργιος |
| author_facet |
Koletsos, Georgios Κολέτσος, Γεώργιος |
| author_sort |
Koletsos, Georgios |
| title |
Υπολογισιμότητα, αναδρομικές συναρτήσεις |
| title_short |
Υπολογισιμότητα, αναδρομικές συναρτήσεις |
| title_full |
Υπολογισιμότητα, αναδρομικές συναρτήσεις |
| title_fullStr |
Υπολογισιμότητα, αναδρομικές συναρτήσεις |
| title_full_unstemmed |
Υπολογισιμότητα, αναδρομικές συναρτήσεις |
| title_sort |
υπολογισιμότητα, αναδρομικές συναρτήσεις |
| publishDate |
2016 |
| url |
http://localhost:8080/jspui/handle/11419/2303 |
| work_keys_str_mv |
AT koletsosgeorgios ypologisimotētaanadromikessynartēseis AT koletsosgeōrgios ypologisimotētaanadromikessynartēseis AT koletsosgeorgios computabilityrecursivefunctions AT koletsosgeōrgios computabilityrecursivefunctions |
| _version_ |
1771301332925284352 |
