Μαθηματική λογική

Θεωρία και πράξη
Έκπτωση
40%
Τιμή Εκδότη: 27.00
16.20
Τιμή Πρωτοπορίας
+
351828
Συγγραφέας: Τουρλάκης, Γιώργος
Σελίδες:272
Μεταφραστής:ΠΛΑΤΗΣ ΙΔ
Ημερομηνία Έκδοσης:01/01/2011
ISBN:9789605243418
Διαθεσιμότητα στα βιβλιοπωλεία μας
Αθήνα:
Με παραγγελία σε 2-5 εργάσιμες ημέρες
Θεσσαλονίκη:
Με παραγγελία σε 2-5 εργάσιμες ημέρες
Πάτρα:
Με παραγγελία σε 2-5 εργάσιμες ημέρες

Περιγραφή


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

Κριτικές

Δεν βρέθηκαν δημοσιεύσεις

Γράψτε μια κριτική
ΔΩΡΕΑΝ ΑΠΟΣΤΟΛΗ ΣΕ ΟΛΗ ΤΗΝ ΕΛΛΑΔΑ!

Δωρεάν αποστολή σε όλη την Ελλάδα με αγορές > 30€

ΒΙΒΛΙΑ ΧΕΡΙ ΜΕ ΧΕΡΙ

Γιατί τα βιβλία πρέπει να είναι φτηνά!

ΕΩΣ 6 ΑΤΟΚΕΣ ΔΟΣΕΙΣ

Μέχρι 6 άτοκες δόσεις με την πιστωτική σας κάρτα!