Βασική θεωρία υπολογισιμότητας : μηχανές Turing, αναδρομικές συναρτήσεις, αλγοριθμική ανεπιλυσιμότητα / Χ. Χαρτώνας.
Τύπος υλικού: ΚείμενοΛεπτομέρειες δημοσίευσης: Θεσσαλονίκη : Ζήτης, 2001.Περιγραφή: 109 σ. ; 24 εκ. + 1 cd-romISBN:- 9604316915
- 004 21
- 511.3 21
- 519.7 21
- 511.3 23
- QA248.5 .Ch3 2001
- ΠΛΗ 30
Περιεχόμενα:
Μηχανές turing - Αναδρομικές συναρτήσεις - Αλγοριθμική ανεπιλυσιμότητα
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [Not For Loan] | ΒΚΠ - Κουκούλι Βασική Συλλογή | 519.7 ΧΑΡ (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Not For Loan | 99241000064531 |
Ευρετήριο: σ. 107 - 109. GR-PaHOU GR-KkTEI
Περιλαμβάνει βιβλιογραφικές παραπομπές (σ. 105-106) και ευρετήριο. GR-ChTUC GR-PaHOU
Μηχανές turing - Αναδρομικές συναρτήσεις - Αλγοριθμική ανεπιλυσιμότητα GR-PaHOU GR-KkTEI