• Αρχική
  • Συλλογές
  • Τα βιβλία μου
  • Κατηγορίες
  • Βιβλία
  • Συγγραφείς
  • Εκδότες
  • Σειρές
  • Ανακαλύψτε
  • Προτεινόμενα
  • Δημοφιλή
  • Βραβευμένα
  • Τελευταίες Κυκλοφορίες
  • Σελίδες
  • Σχετικά
  • Πολιτική Απορρήτου
  • Επικοινωνία

Sqreen | Runtime Application Protection Crafted with in CEID
© 20[0-9]{2} Copyleft
  • ΑΡΧΙΚΗ
  • ΣΥΛΛΟΓΕΣ
  • ΤΑ ΒΙΒΛΙΑ ΜΟΥ
  • ΣΥΝΔΕΣΗ
  • ΕΓΓΡΑΦΗ
  • Βιβλία
  • Μηχανές της λογικής

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

book_cover
Προσθήκη

0 0

Συλλογές
0

Εμφανίσεις
38

Επισκέπτες
35

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


Martin Davis

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


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

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

  • Περιγραφή
  • Προβολή MARC
  • Προβολή ISBD
ΈκδοσηΑθήνα, Εκκρεμές, 1η έκδοση, 2007
ΜορφήΒιβλίο
ΣειράΣφαίρα
Τίτλος ΠρωτοτύπουEngines of Logic
Γλώσσα ΠρωτοτύπουΑγγλικά
ΘέματαΗλεκτρονικοί υπολογιστές - Ιστορία
Αλγόριθμοι
Μαθηματικά
ISBN978-960-7651-54-9
ISBN-13978-960-7651-54-9
Φυσική περιγραφή363σ., Μαλακό εξώφυλλο, 21x14εκ.
Τιμή€ 28.0, (Τελ. ενημ: 2007-06-06)
ΔιαθεσιμότηταΚυκλοφορεί
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εκ.

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

    Συνδεθείτε για να δημοσιεύσετε κριτικές
Περισσότερα από Ηλεκτρονικοί υπολογιστές - Ιστορία
book_cover
Η ιστορία των υπολογιστών
book_cover
Η ιστορία της πληροφορικής
book_cover
Ιστορία της πληροφορικής
book_cover
iCon Στιβ Τζομπς
book_cover
Μηχανές της λογικής
book_cover
Η ιστορία του Google
book_cover
Εισαγωγή στην πληροφορική και τον προγραμματισμό
book_cover
Steve Jobs, η επίσημη βιογραφία
book_cover
Steve Jobs, η επίσημη βιογραφία
book_cover
Από τον άβακα στον προσωπικό υπολογιστή
book_cover
Ηλεκτρονικοί υπολογιστές
book_cover
Χ, Υ & Ζ: Πώς έσπασε ο κώδικας του Enigma
Περισσότερα
Περισσότερα από Αλγόριθμοι
book_cover
Η τέχνη της αλγοριθμικής επίλυσης προβλημάτων
book_cover
Αλγόριθμοι και δομές δεδομένων στη Java
book_cover
Αλγόριθμοι σε C
book_cover
Εισαγωγή στους αλγόριθμους Γ΄ λυκείου
book_cover
Υπολογιστική γεωμετρία
book_cover
Εισαγωγή στην εξόρυξη δεδομένων
book_cover
Αλγόριθμοι: Μέθοδοι σχεδίασης και ανάλυση πολυπλοκότητας
book_cover
Αλγόριθμοι ανάλυσης ιατρικής εικόνας
book_cover
Αλγόριθμοι και δομές δεδομένων
book_cover
Εισαγωγή στην εξόρυξη δεδομένων
book_cover
Θεωρία και αλγόριθμοι γράφων
book_cover
Hello World: Άνθρωπος στην εποχή του αλγόριθμου
Περισσότερα
Περισσότερα από Μαθηματικά
book_cover
Η απολογία ενός μαθηματικού
book_cover
Θεωρία και προβλήματα στην αριθμητική ανάλυση
book_cover
Εφαρμοσμένα μαθηματικά διοικητικών και οικονομικών επιστημών
book_cover
Τα μαθηματικά σήμερα: εισαγωγή στην ανάλυση ΙΙ
book_cover
Μαθηματικά & εξετάσεις
book_cover
Εφαρμοσμένοι εξελικτικοί αλγόριθμοι σε Java
book_cover
Μετρώντας τα ίχνη μας στη γη
book_cover
Εφαρμοσμένα μαθηματικά και Mathematica
book_cover
Στοιχεία διανυσματικής ανάλυσης
book_cover
Ανώτερα μαθηματικά
book_cover
Μαθήματα ολοκληρωτικού λογισμού μίας μεταβλητής
book_cover
Εξισώσεις μερικών παραγώγων
Περισσότερα