Μηχανές της λογικής: Συνεισφορά Μαθηματικών στην ανάπτυξη υπολογιστών

Μηχανές της λογικής: Η συνεισφορά των Μαθηματικών στην ανάπτυξη υπολογιστών | Η συνεισφορά των Μαθηματικών στην ανάπτυξη των υπολογιστών. ● Martin Davis ● Εκδόσεις: Εκκρεμές – 2007 | ISBN 9789607651549 σελ.368

Μηχανές της λογικής: Η συνεισφορά των Μαθηματικών στην ανάπτυξη υπολογιστών

Μηχανές της λογικής: Συνεισφορά Μαθηματικών στην ανάπτυξη υπολογιστών

Martin Davis – Εκκρεμές – ISBN 9789607651549

ΥπότιτλοςΗ συνεισφορά των Μαθηματικών στην ανάπτυξη των υπολογιστών.
ΣυγγραφέαςMartin Davis
ΕκδότηςΕκκρεμές
Έτος Έκδοσης2007
Σελίδες368
Μέγεθος21 × 14
ΕξώφυλλοΜαλακό εξώφυλλο
ISBN 139789607651549
ISBN-139789607651549
ISBN 109607651545
ΘεματολογίαΕΠΙΣΤΗΜΗ – ΙΑΤΡΙΚΗ – ΔΙΚΑΙΟ ● ΕΠΙΣΤΗΜΕΣ – ΤΕΧΝΟΛΟΓΙΑ
ΜετάφρασηΖΑΧΟΣ ΣΤΑΘΗΣ

Περίληψη – Περιεχόμενα

Μηχανές της λογικής: Συνεισφορά Μαθηματικών στην ανάπτυξη υπολογιστών

O Martin Davis, ένας από τους πρωτοπόρους της ανάπτυξης της επιστήμης των υπολογιστών, παρουσιάζει μια μαγευτική εικόνα της ιστορίας της δημιουργίας και εξέλιξης των υπολογιστών.

Σε αυτό το βιβλίο, παρακολουθούμε την πορεία της αποκρυστάλλωσης των λογικών εννοιών πάνω στις οποίες βασίζονται οι υπολογιστές μέσα από τις ζωές μιας ομάδας λαμπρών νεωτεριστών, κυρίως Γερμανών και Βρετανών, που καλύπτουν μια περίοδο τριών αιώνων: των G.W. Leibniz, George Boole, Gottlob Frege, Georg Cantor, David Hilbert, Kurt Godel και Alan Turing. Κάθε ένας από αυτούς, με τον έναν ή τον άλλο τρόπο, ενδιαφερόταν για τη φύση των ανθρώπινων συλλογισμών και ήταν αποφασισμένος να συμβάλει στην ανάπτυξη μιας βαθύτερης κατανόησης του τρόπου με τον οποίο οι άνθρωποι εξάγουν συμπεράσματα, με λίγα λόγια, πώς χρησιμοποιούμε τη λογική. Κανείς από αυτούς, εκτός από τον Alan Turing που έζησε στη δική μας εποχή, τον 20ό αιώνα, δεν κατάλαβε πως το έργο τους θα αποτελούσε το διανοητικό πλαίσιο μέσα από το οποίο θα αναδυόταν ο ψηφιακός υπολογιστής γενικής χρήσης. Αυτό το βιβλίο δίνει μια σφαιρική εικόνα της ιστορίας και υπογραμμίζει τη δύναμη των ιδεών. Οι αναγνώστες θα αποκομίσουν μια αποκαλυπτική κατανόηση του πώς και γιατί λειτουργούν οι υπολογιστές καθώς και πώς προέκυψαν οι αλγόριθμοι που βρίσκονται μέσα τους.


Τα ανωτέρω στοιχεία και πληροφορίες είναι ενδεικτικά και όχι περιοριστικά - Επίσημη πληροφόρηση μπορείτε να αντλείτε από τους κατά περίπτωση εκδοτικούς οίκους