Μηχανές της Λογικής
Συγγραφέας:
Martin Davis
Εκδόσεις:
Εκκρεμές
Περιγραφή:
Η εποποιία της δημιουργίας του θεωρητικού υπόβαθρου για την ανάπτυξη των υπολογιστών από έναν κορυφαίο μαθηματικό του εικοστού αιώνα. Από το όραμα του Λάιμπνιτζ μέσω του Μπουλ, του Κάντορ και του Γκέντελ στις οικουμενικές μηχανές του Τιούρινγκ. Ένα εξαιρετικά ευκολοδιάβαστο έργο που προσφέρει πάρα πολλές δυνατότητες για μια λέσχη ανάγνωσης.
Λέξεις Κλειδιά:
Εξωτερικό υλικό
Δεν έχουμε ακόμα εξωτερικό υλικό. Αν γνωρίζετε σχετικά άρθρα ή ιστοσελίδες Αυτή η διεύθυνση ηλεκτρονικού ταχυδρομείου προστατεύεται από κακόβουλη χρήση. Χρειάζεται να ενεργοποιήσετε την Javascript για να τη δείτε. τις προτάσεις σας.
Λέσχες ανάγνωσης
Δεν έχουμε πληροφορίες για κάποια λέσχη που να έχει διαβάσει αυτό το βιβλίο. Εάν η δική σας λέσχη το έχει διαβάσει ή το διαβάζει τώρα, παρακαλώ Αυτή η διεύθυνση ηλεκτρονικού ταχυδρομείου προστατεύεται από κακόβουλη χρήση. Χρειάζεται να ενεργοποιήσετε την Javascript για να τη δείτε. .
ΤΟ ΒΙΒΛΙΟ ΤΟΥ ΜΗΝΑ
ΠΡΟΤΑΣΕΙΣ
| Συγγραφέας: Γιάννης Καρβέλης Εκδόσεις: Γαβριηλίδης |
| Συγγραφέας: David Acheson Εκδόσεις: Οκτώ |
| Συγγραφέας: Keith Devlin Εκδόσεις: Τραυλός |
| Συγγραφέας: Calvin Clawson Εκδόσεις: Κέδρος |
ΔΗΜΟΦΙΛΗ ΒΙΒΛΙΑ
| Συγγραφέας: Paul Hoffman Εκδόσεις: Λιβάνη |
| Συγγραφέας: Ντένι Γκετζ Εκδόσεις: Κέδρος |
| Συγγραφέας: Ουμπέρτο Εκο Εκδόσεις: Ελληνικά Γράμματα |
| Συγγραφέας: David Liss Εκδόσεις: Ενάλιος |
| Συγγραφέας: Thomas Vogel Εκδόσεις: Κριτική |
| Συγγραφέας: Τεύκρος Μιχαηλίδης Εκδόσεις: Πόλις |
| Συγγραφέας: Κάρολος Ντίκενς Εκδόσεις: Πόλις |
| Συγγραφέας: Μιχαήλ Μπουλγκάκοφ Εκδόσεις: Γράμματα |
| Συγγραφέας: Νόρτον Τζάστερ Εκδόσεις: Κέδρος |
| Συγγραφέας: James Watson Εκδόσεις: Το Βήμα |