Υπολογισιμότητα, αναδρομικές συναρτήσεις
Η έννοια της υπολογίσιμης συνάρτησης. Μοντέλα υπολογισμού. Μηχανές 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)