[{"id":5916,"title":"Εισαγωγή στην υπολογιστική","subtitle":null,"description":"Η εμφάνιση των ηλεκτρονικών υπολογιστών στο προσκήνιο και ο από τότε ολοένα μεγαλύτερος ρόλος που παίζουν στη ζωή του ανθρώπου, και στην επιστήμη ειδικότερα, έκανε την Υπολογιστική φυσικό αντικείμενο μελέτης των επιστημόνων Πληροφορικής. Ένα πρόγραμμα που εκτελείται από κάποιον υπολογιστή δεν είναι παρά ένας αλγόριθμος, εκφρασμένος σε γλώσσα αντιληπτή από το σύστημα του υπολογιστή. Έτσι, η ανάγκη να ερευνήσουμε με μαθηματικά εργαλεία τα θεωρητικά όρια ικανότητας (ή δυνατοτήτων) των υπολογιστών μεταφράζεται στην ανάγκη να μελετήσουμε τι μπορεί και τι δεν μπορεί να γίνει με αλγοριθμικές μεθόδους. Ένα βιβλίο-οδηγός για τον φοιτητή της επιστήμης υπολογιστών, αλλά και για όποιον θέλει να διερευνήσει το αν και γιατί οι υπολογιστές δίνουν ή δεν δίνουν λύσεις σε διάφορα μαθηματικά προβλήματα.","image":"http://www.biblionet.gr/images/covers/b6212.jpg","isbn":"960-7309-59-6","isbn13":"978-960-7309-59-4","ismn":null,"issn":null,"series":null,"pages":140,"publication_year":1994,"publication_place":"Ηράκλειο Κρήτης","price":"14.0","price_updated_at":"2009-08-25","cover_type":"Μαλακό εξώφυλλο","availability":"Κυκλοφορεί","format":"Βιβλίο","original_language":null,"original_title":null,"publisher_id":141,"extra":null,"biblionet_id":6212,"url":"https://bibliography.gr/books/eisagwgh-sthn-ypologistikh.json"},{"id":171584,"title":"Μαθηματική λογική","subtitle":"Θεωρία και πράξη","description":"Το βιβλίο αυτό πραγματεύεται το πρωταρχικό εργαλείο -κατά τους Russell και Whitehead, Hilbert (και Bernays), και Bourbaki- για τη θεμελίωση των μαθηματικών: τη Μαθηματική Λογική. Η \"Μαθηματική Λογική - Θεωρία και πράξη\" είναι μια μαθηματικώς αυστηρή, συστηματική και πλήρης εισαγωγή στο συντακτικό, τη σημασιολογία και την τεχνική κατασκευής των μαθηματικών αποδείξεων. Με τη φιλική του προσέγγιση, το βιβλίο επικεντρώνεται αφ’ ενός στη μεθοδολογική κατάρτιση και αφ' ετέρου στην πρακτική εξάσκηση του αναγνώστη στις λεγόμενες \"τυπικές μεθόδους\" για την ανακάλυψη -και επαλήθευση- αληθών μαθηματικών προτάσεων (θεωρημάτων) που συναντάμε σε διάφορα γνωστικά αντικείμενα, όπως είναι η επιστήμη υπολογιστών, τα μαθηματικά και η φιλοσοφία. Ο πρώτος στόχος του βιβλίου είναι να εκπαιδεύσει άριστους χρήστες της λογικής. Παράλληλα όμως, επειδή ο καλός τεχνίτης θα πρέπει αναμφίβολα να κατέχει τις ιδιότητες των εργαλείων που χρησιμοποιεί, το βιβλίο παρουσιάζει έναν μεγάλο αριθμό τέτοιων \"ιδιοτήτων\" (μεταθεωρημάτων), όπως είναι η πληρότητα της προτασιακής λογικής και η φιλαλήθεια και των δύο λογικών: της προτασιακής και της πρωτοτάξιας.","image":"http://www.biblionet.gr/images/covers/b174668.jpg","isbn":"978-960-524-341-8","isbn13":"978-960-524-341-8","ismn":null,"issn":null,"series":null,"pages":272,"publication_year":2011,"publication_place":"Ηράκλειο Κρήτης","price":"27.0","price_updated_at":"2012-01-11","cover_type":"Μαλακό εξώφυλλο","availability":"Κυκλοφορεί - Εκκρεμής εγγραφή","format":"Βιβλίο","original_language":null,"original_title":null,"publisher_id":141,"extra":null,"biblionet_id":174668,"url":"https://bibliography.gr/books/mathhmatikh-logikh.json"}]