Διαθέσιμο κατόπιν παραγγελίας
Αποστέλλεται την ίδια ή την επόμενη εργάσιμη
ISBN:
9789607651549
Κατηγορίες:
Έτος κυκλοφορίας
Εκδότης
Σήμερα, οι υπολογιστές βρίσκονται παντού: στους εργασιακούς χώρους, σε εργαστήρια τέχνης, στις τράπεζες, στα σούπερ μάρκετ καθώς και σε σπίτια σε όλο τον πλανήτη. Μερικές φορές, μάλιστα, βρίσκονται ακόμα και μέσα στις τσέπες μας. Παρ` όλα αυτά, για πολλούς από εμάς εξακολουθούν να παραμένουν αντικείμενα αμείωτου μυστηρίου. Πώς μπορεί η σημερινή ηλεκτρονική μαγεία να εκτελεί μια τόσο εκπληκτική ποικιλία εργασιών αν οι υπολογισμοί δεν είναι παρά αναβαθμισμένοι αριθμητικοί λογαριασμοί; Η απάντηση, όπως μας εξηγεί με σαφήνεια και διαύγεια ο Martin Davis, βρίσκεται στο ότι οι υπολογιστές είναι, ουσιαστικά, μηχανές λογικής, οι οποίες χρησιμοποιούν έννοιες που αναπτύχθηκαν βαθμιαία από πρωτοπόρους μαθηματικούς στη διάρκεια των αιώνων.
[Απόσπασμα από το κείμενο στο οπισθόφυλλο της έκδοσης]
Ο Martin Davis (Νέα Υόρκη, 1928) είναι διακεκριμένος λογικός, γνωστός για την πρωτοποριακή εργασία του πάνω στην αυτόματη παραγωγή θεωρημάτων και για τη συμβολή του στην επίλυση του δέκατου προβλήματος του Hilbert, για την οποία τιμήθηκε από τη Mathematical Association of America με τα βραβεία Chauvenet και Lester R. Ford, καθώς και με το βραβείο Leroy P. Steele από την American Mathematical Society. Το 1950 πήρε το Ph.D. από το Πανεπιστήμιο του Princeton με επιβλέποντα τον Alonzo Church. Επινόησε μαζί με τον Putnam τον αλγόριθμο DPLL. Το βιβλίο του "Computability and Unsolvability" (1958) χαρακτηρίστηκε ως ένα από τα ελάχιστα πραγματικά κλασικά έργα για την επιστήμη των υπολογιστών. Τα βιβλία του έχουν μεταφραστεί σε πολλές γλώσσες. Ο Davis είναι ομότιμος καθηγητής στο Courant Institute of Mathematical Science του Πανεπιστημίου της Νέας Υόρκης, όπου δίδασκε από το 1956 μαθηματικά και υπολογιστές. Σήμερα είναι επισκέπτης καθηγητής στο Πανεπιστήμιο της Καλιφόρνιας, στο Μπέρκλεϋ, όπου και διαμένει.
Δείτε όλα τα βιβλία του συγγραφέα
