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

Sqreen | Runtime Application Protection Crafted with in CEID
© 20[0-9]{2} Copyleft
  • ΑΡΧΙΚΗ
  • ΣΥΛΛΟΓΕΣ
  • ΤΑ ΒΙΒΛΙΑ ΜΟΥ
  • ΣΥΝΔΕΣΗ
  • ΕΓΓΡΑΦΗ
  • Συγγραφείς
  • Martin Davis

Martin Davis

author_photo

Βιβλία
1

Εμφανίσεις
19

Αγαπημένος Συγγραφέας
0

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 μαθηματικά και υπολογιστές. Σήμερα είναι επισκέπτης καθηγητής στο Πανεπιστήμιο της Καλιφόρνιας, στο Μπέρκλεϋ, όπου και διαμένει.
Διαβάστε περισσότερα

Βιβλία - Συγγραφή - (1)

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

Martin Davis
Προτεινόμενο 0 φορές - Σε 0 συλλογές - 335 εμφανίσεις

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