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

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

Full description

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

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

Similar Items