[{"id":76790,"title":"Αφελής συνολοθεωρία","subtitle":"Εισαγωγή στη θεωρία συνόλων","description":"\"... Ο συγγραφέας χρησιμοποιεί τη γλώσσα και το συμβολισμό των συνηθισμένων μη τυποποιημένων μαθηματικών, για να διατυπώσει τα βασικά συνολοθεωρητικά απαιτούμενα για το σπουδαστή που αρχίζει να μελετά ανώτερα μαθηματικά.\u003cbr\u003e... Λόγω της μη φορμαλιστικής μεθόδου παρουσίασης, το βιβλίο είναι το κατ' εξοχήν κατάλληλο για να χρησιμοποιηθεί είτε ως βιβλίο διδασκαλίας είτε ως βιβλίο προσωπικής μελέτης. Ο αναγνώστης θα κατανοήσει πλήρως τα θεωρήματα της συνολοθεωρίας και το θεμελιώδη ρόλο τους στη μελέτη των μαθηματικών.\"\u003cbr\u003ePhilosophy and Phenomenological Research\u003cbr\u003e","image":"http://www.biblionet.gr/images/covers/b78808.jpg","isbn":"960-7651-26-X","isbn13":"978-960-7651-26-6","ismn":null,"issn":null,"series":{"id":5345,"name":"Σφαίρα","books_count":3,"tsearch_vector":"'sfaira' 'sfera' 'sphaira'","created_at":"2017-04-13T01:37:29.659+03:00","updated_at":"2017-04-13T01:37:29.659+03:00"},"pages":154,"publication_year":2002,"publication_place":"Αθήνα","price":"21.0","price_updated_at":null,"cover_type":"Μαλακό εξώφυλλο","availability":"Κυκλοφορεί","format":"Βιβλίο","original_language":"αγγλικά","original_title":"Naive set theory","publisher_id":35,"extra":null,"biblionet_id":78808,"url":"https://bibliography.gr/books/afelhs-synolothewria.json"},{"id":118687,"title":"Μηχανές της λογικής","subtitle":"Η συνεισφορά των μαθηματικών στην ανάπτυξη των υπολογιστών: Ο δρόμος από τον Leibniz ως τον Turing","description":"O Martin Davis, ένας από τους πρωτοπόρους της ανάπτυξης της επιστήμης των υπολογιστών, παρουσιάζει μια μαγευτική εικόνα της ιστορίας της δημιουργίας και εξέλιξης των υπολογιστών.\u003cbr\u003e\u003cbr\u003eΣε αυτό το βιβλίο, παρακολουθούμε την πορεία της αποκρυστάλλωσης των λογικών εννοιών πάνω στις οποίες βασίζονται οι υπολογιστές μέσα από τις ζωές μιας ομάδας λαμπρών νεωτεριστών, κυρίως Γερμανών και Βρετανών, που καλύπτουν μια περίοδο τριών αιώνων: των G.W. Leibniz, George Boole, Gottlob Frege, Georg Cantor, David Hilbert, Kurt Godel και Alan Turing. Κάθε ένας από αυτούς, με τον έναν ή τον άλλο τρόπο, ενδιαφερόταν για τη φύση των ανθρώπινων συλλογισμών και ήταν αποφασισμένος να συμβάλει στην ανάπτυξη μιας βαθύτερης κατανόησης του τρόπου με τον οποίο οι άνθρωποι εξάγουν συμπεράσματα, με λίγα λόγια, πώς χρησιμοποιούμε τη λογική. Κανείς από αυτούς, εκτός από τον Alan Turing που έζησε στη δική μας εποχή, τον 20ό αιώνα, δεν κατάλαβε πως το έργο τους θα αποτελούσε το διανοητικό πλαίσιο μέσα από το οποίο θα αναδυόταν ο ψηφιακός υπολογιστής γενικής χρήσης. Αυτό το βιβλίο δίνει μια σφαιρική εικόνα της ιστορίας και υπογραμμίζει τη δύναμη των ιδεών. Οι αναγνώστες θα αποκομίσουν μια αποκαλυπτική κατανόηση του πώς και γιατί λειτουργούν οι υπολογιστές καθώς και πώς προέκυψαν οι αλγόριθμοι που βρίσκονται μέσα τους.","image":"http://www.biblionet.gr/images/covers/b121280.jpg","isbn":"978-960-7651-54-9","isbn13":"978-960-7651-54-9","ismn":null,"issn":null,"series":{"id":5345,"name":"Σφαίρα","books_count":3,"tsearch_vector":"'sfaira' 'sfera' 'sphaira'","created_at":"2017-04-13T01:37:29.659+03:00","updated_at":"2017-04-13T01:37:29.659+03:00"},"pages":363,"publication_year":2007,"publication_place":"Αθήνα","price":"28.0","price_updated_at":"2007-06-06","cover_type":"Μαλακό εξώφυλλο","availability":"Κυκλοφορεί","format":"Βιβλίο","original_language":"αγγλικά","original_title":"Engines of Logic","publisher_id":35,"extra":null,"biblionet_id":121280,"url":"https://bibliography.gr/books/mhxanes-ths-logikhs.json"}]