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