Πλοήγηση

Μηχανες της λογικης

Η συνεισφορά των μαθηματικών στην ανάπτυξη των υπολογιστών: Ο δρόμος από τον Leibniz ως τον Turing

Μετάφραση: Στάθης Ζάχος

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

Σε αυτό το βιβλίο, παρακολουθούμε την πορεία της αποκρυστάλλωσης των λογικών εννοιών πάνω στις οποίες βασίζονται οι υπολογιστές μέσα από τις ζωές μιας ομάδας λαμπρών νεωτεριστών, κυρίως Γερμανών και Βρετανών, που καλύπτουν μια περίοδο τριών αιώνων: των G.W. Leibniz, George Boole, Gottlob Frege, Georg Cantor, David Hilbert, Kurt Godel και Alan Turing. Κάθε ένας από αυτούς, με τον έναν ή τον άλλο τρόπο, ενδιαφερόταν για τη φύση των ανθρώπινων συλλογισμών και ήταν αποφασισμένος να συμβάλει στην ανάπτυξη μιας βαθύτερης κατανόησης του τρόπου με τον οποίο οι άνθρωποι εξάγουν συμπεράσματα, με λίγα λόγια, πώς χρησιμοποιούμε τη λογική. Κανείς από αυτούς, εκτός από τον Alan Turing που έζησε στη δική μας εποχή, τον 20ό αιώνα, δεν κατάλαβε πως το έργο τους θα αποτελούσε το διανοητικό πλαίσιο μέσα από το οποίο θα αναδυόταν ο ψηφιακός υπολογιστής γενικής χρήσης. Αυτό το βιβλίο δίνει μια σφαιρική εικόνα της ιστορίας και υπογραμμίζει τη δύναμη των ιδεών. Οι αναγνώστες θα αποκομίσουν μια αποκαλυπτική κατανόηση του πώς και γιατί λειτουργούν οι υπολογιστές καθώς και πώς προέκυψαν οι αλγόριθμοι που βρίσκονται μέσα τους.
ΈκδοσηΑθήνα, Εκκρεμές, 1η έκδοση, 2007
ΜορφήΒιβλίο
ΣειράΣφαίρα
Τίτλος ΠρωτοτύπουEngines of Logic
Γλώσσα ΠρωτοτύπουΑγγλικά
ΘέματαΗλεκτρονικοί υπολογιστές - Ιστορία
Αλγόριθμοι
Μαθηματικά
ISBN978-960-7651-54-9
ISBN-13978-960-7651-54-9
Φυσική περιγραφή363σ., Μαλακό εξώφυλλο, 21x14εκ.
LEADER 22 4500
001118687
00520200814034357.465
020##|a 9789607651549
020##|a 9789607651549
0411#|a ελληνικά |h αγγλικά
08214|a 004.09 |a 511.8 |a 510 |2 23
1001#|a Davis, Martin
24510|a Μηχανές της λογικής |b Η συνεισφορά των μαθηματικών στην ανάπτυξη των υπολογιστών: Ο δρόμος από τον Leibniz ως τον Turing |c Martin Davis
250##|a 1η έκδοση
260##|a Αθήνα |b Εκκρεμές |c 2007
300##|a 363σ. |b Μαλακό εξώφυλλο |c 21x14εκ.
4900#|a Σφαίρα
520##|a Η συνεισφορά των μαθηματικών στην ανάπτυξη των υπολογιστών: Ο δρόμος από τον Leibniz ως τον Turing
650#1|a Ηλεκτρονικοί υπολογιστές - Ιστορία
650#1|a Αλγόριθμοι
650#1|a Μαθηματικά
7001#|a Ζάχος, Στάθης |e μετάφραση
7651#|t Engines of Logic
903##|a €28.0
ΤίτλοςΜηχανές της λογικής / Martin Davis ; μετάφραση Στάθης Ζάχος
Κύριος ΣυγγραφέαςMartin Davis
Άλλοι ΣυγγραφείςΣτάθης Ζάχος
ΈκδοσηΑθήνα, Εκκρεμές, 1η έκδοση, 2007
ΜορφήΒιβλίο
Τίτλος ΠρωτοτύπουEngines of Logic
Γλώσσα ΠρωτοτύπουΑγγλικά
ΣειράΣφαίρα
ΘέματαΗλεκτρονικοί υπολογιστές - Ιστορία
Αλγόριθμοι
Μαθηματικά
ISBN978-960-7651-54-9
ISBN-13978-960-7651-54-9
Φυσική περιγραφή363σ., Μαλακό εξώφυλλο, 21x14εκ.

Σχόλια/Κριτικές

Περισσότερα από Ηλεκτρονικοί υπολογιστές - Ιστορία
Περισσότερα από Αλγόριθμοι
Περισσότερα από Μαθηματικά