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

• Main Author: Χαρτώνας, Χ.
• Corporate Authors: Ζήτη, Ζήτης
• Format: Book
• Language: Greek
• Published: Θεσσαλονίκη : Ζήτης, 2001.
• Subjects: Computable functions.; COMPUTATIONAL COMPLEXITY; Recursive functions.; Turing machines.; Unsolvability (Mathematical logic).; Θεμελιώσεις επιστήμης Η/Υ > ΠΛΗ 30; Θεωρία υπολογισιμότητας.; Λογισμός; Προγραμματισμός (Μαθηματικά); Συναρτήσεις; ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ

Table of Contents:

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