Βασική θεωρία υπολογισιμότητας : μηχανές Turing, αναδρομικές συναρτήσεις, αλγοριθμική ανεπιλυσιμότητα /

• Κύριος συγγραφέας: Χαρτώνας, Χ.
• Συλλογικό Έργο: Ζήτη, Ζήτης
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: Θεσσαλονίκη : Ζήτης, 2001.
• Θέματα: Computable functions.; COMPUTATIONAL COMPLEXITY; Recursive functions.; Turing machines.; Unsolvability (Mathematical logic).; Θεμελιώσεις επιστήμης Η/Υ > ΠΛΗ 30; Θεωρία υπολογισιμότητας.; Λογισμός; Προγραμματισμός (Μαθηματικά); Συναρτήσεις; ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ

Πίνακας περιεχομένων:

• Μηχανές turing - Αναδρομικές συναρτήσεις - Αλγοριθμική ανεπιλυσιμότητα