9789607809230
Νέο Προϊόν
Αυτή η εργασία του A. Turing αποτελεί το πρώτο θεμελιακό άρθρο της σύγχρονης θεωρίας των υπολογιστών. Σε αυτό ορίζεται για πρώτη φορά η θεωρία της αυτόματης μηχανής, με σκοπό την υπολογισιμότητα και την απόδειξη θεωρημάτων μέσα από μηχανικές διαδικασίες.
Παράδοση σε 1 έως 3 ημέρες
Το προϊόν δεν είναι πλέον σε απόθεμα
Ημερομηνία Διαθεσιμότητας:
Αυτή η εργασία του A. Turing αποτελεί το πρώτο θεμελιακό άρθρο της σύγχρονης θεωρίας των υπολογιστών. Σε αυτό ορίζεται για πρώτη φορά η θεωρία της αυτόματης μηχανής, με σκοπό την υπολογισιμότητα και την απόδειξη θεωρημάτων μέσα από μηχανικές διαδικασίες. Η ανακάλυψη του Turing για την ύπαρξη αντιστοίχου συμπεράσματος με αυτό του θεωρήματος του Goedel , και στην θεωρία υπολογισμού, διέβρωσε τα θεμέλια ακόμη και αυτού του τελευταίου οχυρού της στοιχειώδους μαθηματικής ικανότητας: της υπολογισιμότητας. Με αυτό το έργο ξεκίνησε τόσο η σύγχρονη εποχή των υπολογιστών όσο και της γενικευμένης θεωρίας κάθε υπολογιστικού συστήματος.
Θεματική κατηγορία | ΕΠΙΣΤΗΜΕΣ - ΤΕΧΝΟΛΟΓΙΑ |
Ημ. Έκδοσης | 1998 |
Αριθμός Σελίδων | 104 |
ISBN | 9789607809230 |
Σχήμα | 17x12 |
Βιβλιοδεσία | ΜΑΛΑΚΟ ΕΞΩΦΥΛΛΟ |
Μεταφραστής | ΚΩΝΣΤΑΝΤΙΝΙΔΗΣ ΜΑΝΩΛΗΣ |
Δεν υπάρχουν κριτικές πελατών προς το παρόν.