Υπολογισιμότητα, αναδρομικές συναρτήσεις
Η έννοια της υπολογίσιμης συνάρτησης. Μοντέλα υπολογισμού. Μηχανές Turing και Turing υπολογίσιμες συναρτήσεις. Αναδρομικές συναρτήσεις. Πρωτογενείς αναδρομικές συναρτήσεις. Ο τελεστής ελαχιστοποίησης του Kleene και οι γενικές ολικές και μερικές αναδρομικές συναρτήσεις. <br/>Σχήματα δημιουργίας...
Main Authors: | Koletsos, Georgios, Κολέτσος, Γεώργιος |
---|---|
Format: | 7 |
Language: | Greek |
Published: |
2016
|
Subjects: | |
Online Access: | http://localhost:8080/jspui/handle/11419/2303 |
Similar Items
-
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
by: Koletsos, Georgios, et al.
Published: (2016) -
Η λογική των προτάσεων, προτασιακός λογισμός
by: Koletsos, Georgios, et al.
Published: (2016) -
Αποδεικτικό σύστημα
by: Koletsos, Georgios, et al.
Published: (2016) -
Σύστημα Hilbert
by: Koletsos, Georgios, et al.
Published: (2016) -
Συστήματα Gentzen
by: Koletsos, Georgios, et al.
Published: (2016)