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