[{"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://v2.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://v2.bibliography.gr/books/mhxanes-ths-logikhs.json"},{"id":176167,"title":"Οι μεταμορφώσεις του λογισμού","subtitle":"Μια συναρπαστική μαθηματική ιστορία","description":"Θεμελιακή έννοια της μαθηματικής μεθόδου, ήδη από την ελληνική αρχαιότητα, η έννοια της απόδειξης υπέστη έναν βαθύ μετασχηματισμό από τις αρχές της δεκαετίας του '70.\u003cbr\u003e\u003cbr\u003eΠολλές σημαντικές μαθηματικές ανακαλύψεις, όχι πάντα συνδεδεμένες μεταξύ τους, θέτουν σταδιακά σε αμφισβήτηση την κυριαρχία του συλλογισμού πάνω στον υπολογισμό και μας προτείνουν μια πιο ισορροπημένη αντιμετώπιση, κατά την οποία συλλογισμοί και υπολογισμοί διαδραματίζουν συμπληρωματικούς ρόλους.\u003cbr\u003e\u003cbr\u003eΑυτή η αληθινή επανάσταση μας οδηγεί στο να ξανασκεφτούμε το διάλογο των μαθηματικών και των φυσικών επιστημών. Φωτίζει με νέο φως ορισμένες φιλοσοφικές έννοιες, όπως αυτή της αναλυτικής και συνθετικής κρίσης. Μας οδηγεί επίσης στο να αναρωτηθούμε για τους δεσμούς των μαθηματικών με την πληροφορική καθώς και για την ιδιαιτερότητα των μαθηματικών με την πληροφορική καθώς και για την ιδιαιτερότητα των μαθηματικών που παρέμενε η μόνη επιστήμη που δεν χρησιμοποιούσε όργανα.\u003cbr\u003e\u003cbr\u003eΤέλος -και σίγουρα αυτό είναι το πιο ενδιαφέρον- μας αφήνει να δούμε νέους τρόπους επίλυσης των μαθηματικών προβλημάτων, που λυτρώνονται από τα αυθαίρετα δεσμά που είχε επιβάλει η παλιά τεχνολογία ως προς το μέγεθος των αποδείξεων: ενδεχομένως τα μαθηματικά να προετοιμάζονται για την κατάκτηση νέων κόσμων που μέχρι πρόσφατα ήταν απρόσιτοι.","image":"http://www.biblionet.gr/images/covers/b179288.jpg","isbn":"978-960-7651-92-1","isbn13":"978-960-7651-92-1","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":288,"publication_year":2012,"publication_place":"Αθήνα","price":"18.0","price_updated_at":"2012-05-11","cover_type":"Μαλακό εξώφυλλο","availability":"Κυκλοφορεί - Εκκρεμής εγγραφή","format":"Βιβλίο","original_language":"γαλλικά","original_title":null,"publisher_id":35,"extra":null,"biblionet_id":179288,"url":"https://v2.bibliography.gr/books/oi-metamorfwseis-tou-logismou.json"}]