Διαγωνισμοί Print on demand Bookstore Κριτικές και Παρουσιάσεις Συγγραφείς Νέα και Εκδηλώσεις Αφιερώματα και άλλα Advanced Search
Μαθηματική λογική
(Θεωρία και πράξη)
Συγγραφέας:   Γιώργος Ι. Τουρλάκης


Offer
Το βιβλίο αυτό πραγματεύεται το πρωταρχικό εργαλείο -κατά τους Russell και Whitehead, Hilbert (και Bernays), και Bourbaki- για τη θεμελίωση των μαθηματικών: τη Μαθηματική Λογική. Η "Μαθηματική Λογική - Θεωρία και πράξη" είναι μια μαθηματικώς αυστηρή, συστηματική και πλήρης εισαγωγή στο συντακτικό, τη σημασιολογία και την τεχνική κατασκευής των μαθηματικών αποδείξεων. Με τη φιλική του προσέγγιση, το βιβλίο επικεντρώνεται αφʼ ενός στη μεθοδολογική κατάρτιση και αφ΄ ετέρου στην πρακτική εξάσκηση του αναγνώστη στις λεγόμενες "τυπικές μεθόδους" για την ανακάλυψη -και επαλήθευση- αληθών μαθηματικών προτάσεων (θεωρημάτων) που συναντάμε σε διάφορα γνωστικά αντικείμενα, όπως είναι η επιστήμη υπολογιστών, τα μαθηματικά και η φιλοσοφία. Ο πρώτος στόχος του βιβλίου είναι να εκπαιδεύσει άριστους χρήστες της λογικής. Παράλληλα όμως, επειδή ο καλός τεχνίτης θα πρέπει αναμφίβολα να κατέχει τις ιδιότητες των εργαλείων που χρησιμοποιεί, το βιβλίο παρουσιάζει έναν μεγάλο αριθμό τέτοιων "ιδιοτήτων" (μεταθεωρημάτων), όπως είναι η πληρότητα της προτασιακής λογικής και η φιλαλήθεια και των δύο λογικών: της προτασιακής και της πρωτοτάξιας.

24χ17 εκ., 272 σελίδες
Δέσιμο: Μαλακό εξώφυλλο
Τόπος έκδοσης: Ηράκλειο Κρήτης
Ταξινόμιση DDC: 510 (Μαθηματικά), 160 (Λογική)
ISBN: 978-960-524-341-8
ISBN (10ψήφιο): 960-524-341-5
Βάρος: 0.575 κιλά
Έτος Κυκλοφορίας: 2011
Γράψε τη δική σου κριτική
27.00
  • Twitter
  • Delicious
  • Designfloat
  • Digg
  • StumbleUpon

18.90
Προσθήκη στη Wishlist Share it
SSL Certificate
SSL Certificate

MasterCard Visa
Acceptance Mark Diners
* Powered by Pramnos Hosting LTD., designed by typorg.com.