Η υπηρεσία διατίθεται εξ ολοκλήρου από τις υποδομές νέφους του Εθνικού Κέντρου Τεκμηρίωσης.

Αρχική Σελίδα | Ιστορικό | Υπηρεσίες και Προϊόντα | Διαφημιστείτε | Επικοινωνία Αναζήτηση:
 
English Ελληνικά
  Έχετε κάποιο σχόλιο; Πείτε μας τη γνώμη σας...
  Θεματική αναζήτηση
...................................
Τα βιβλία του μήνα
...................................
Νέες κυκλοφορίες
...................................
Λογοτεχνικά βραβεία
...................................
Eκδηλώσεις για το βιβλίο
σε όλη την Ελλάδα

...................................
Στατιστικά της Ελληνικής Βιβλιοπαραγωγής 2011




Davis, Martin



 

Ο 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) Μηχανές της λογικής, Εκκρεμές

Back Print Print
.:BiblioNet ©2000-2012    .:Σχεδιασμός Ιστοσελίδας: Karamella:digid    .:Κατασκευή Ιστοσελίδας: Eθνικό Κέντρο Βιβλίου (ΕΚΕΒΙ)