Σύνδεση Τώρα Σύνδεση στη Βιβλιοθήκη μου   ·   Όλες οι Βιβλιοθήκες στο Bookia
Τι είναι το Bookia;   ·   Blog   ·                     ·   Επικοινωνία  
Πως γράφω κριτική; Είμαι Συγγραφέας Είμαι Εκδότης Είμαι Βιβλιοπώλης Live streaming / Video
Davis, Martin
Davis, Martin
Συγγραφέας (Author)

Ο 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 μαθηματικά και υπολογιστές. Σήμερα είναι επισκέπτης καθηγητής στο Πανεπιστήμιο της Καλιφόρνιας, στο Μπέρκλεϋ, όπου και διαμένει.
Συνεργάστηκε με...
2007, Ζάχος, Στάθης (Zachos, Stathis ?), Μηχανές της λογικής, Η συνεισφορά των μαθηματικών στην ανάπτυξη των υπολογιστών: Ο δρόμος από τον Leibniz ως τον Turing, Davis, Martin, Εκκρεμές Μηχανές της λογικής
Ζάχος, Στάθης
Μεταφραστής
``

Θέλετε να λαμβάνετε ενημέρωση από το Bookia;

Πηγή δεδομένων βιβλίων



Χορηγοί επικοινωνίας






Κοινωνικά δίκτυα