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