Βιβλία
- Αρχαία Κείμενα
- Βιογραφίες & Μαρτυρίες
- Γλωσσολογία & Σημειολογία
- Γραμματολογία & Λογοτεχνικό Δοκίμιο
- Γυναίκα - Μητρότητα - Εγκυμοσύνη
- Διατροφή, Βότανα & Υγεία
- Δίκαιο
- Εγκυκλοπαίδειες
- Επιστήμες
- Θρησκείες - Θεολογία
- Ιατρική
- Ιστορία
- Κοινωνιολογία - ΜΜΕ - Δημοσιογραφία
- Λαογραφία - Εθνολογία - Οδοιπορικά - Ταξίδια - Ανακαλύψεις
- Λεξικά
- Λογοτεχνία
- Μαγειρική & Οινολογία
- Μελέτες, Δοκίμια
- Μεταφυσική - Εσωτερισμός - Αναζήτηση
- Ξενόγλωσσα
- Οικονομία - Μάνατζμεντ
- Παιδαγωγική Επιστήμη
- Παιδικά & Νεανικά Βιβλία
- Περιοδικά - Κόμικς - Γελοιογραφίες - Χιούμορ
- Πληροφορική
- Πολιτική - Διεθνείς Σχέσεις
- Συμπληρωματική Ιατρική
- Σχολικά Βιβλία Οργανισμού
- Σχολικά Βοηθήματα
- Ταξιδιωτικοί Οδηγοί & Χάρτες
- Τέχνες
- Τεχνολογία
- Φιλοσοφία - Φιλοσοφικό Δοκίμιο
- Φύση - Περιβάλλον - Οικολογία
- Χόμπυ - Αθλητισμός
- Ψυχολογία - Ψυχιατρική - Ψυχανάλυση
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ - ΘΕΩΡΙΑ ΚΑΙ ΠΡΑΞΗ
κερδίστε 5,40 €
Συνήθως αποστέλλεται εντός 10 εργάσιμων ημερών (προϋπόθεση στοκ προμηθευτή)
Κωδικός είδους : |
006.9416 |
Βάρος : |
0.594 kg |
|
Συγγραφέας : |
Εκδότης : |
|||
Διαστάσεις : |
17x24 |
Εξώφυλλο : |
Μαλακό |
|
Σελίδες : |
272 |
Barcode : |
9789605243418 |
|
ISBN : |
978-960-524-341-8 |
Ετος κυκλοφορίας : |
2011 |
Περιγραφή
Το βιβλίο αυτό πραγματεύεται το πρωταρχικό εργαλείο -κατά τους Russell και Whitehead, Hilbert (και Bernays), και Bourbaki- για τη θεμελίωση των μαθηματικών: τη Μαθηματική Λογική. Η Μαθηματική Λογική - Θεωρία και πράξη είναι μια μαθηματικώς αυστηρή, συστηματική και πλήρης εισαγωγή στο συντακτικό, τη σημασιολογία και την τεχνική κατασκευής των μαθηματικών αποδείξεων. Με τη φιλική του προσέγγιση, το βιβλίο επικεντρώνεται αφ ενός στη μεθοδολογική κατάρτιση και αφ ετέρου στην πρακτική εξάσκηση του αναγνώστη στις λεγόμενες «τυπικές μεθόδους» για την ανακάλυψη -και επαλήθευση- αληθών μαθηματικών προτάσεων (θεωρημάτων) που συναντάμε σε διάφορα γνωστικά αντικείμενα, όπως είναι η επιστήμη υπολογιστών, τα μαθηματικά και η φιλοσοφία. Ο πρώτος στόχος του βιβλίου είναι να εκπαιδεύσει άριστους χρήστες της λογικής. Παράλληλα όμως, επειδή ο καλός τεχνίτης θα πρέπει αναμφίβολα να κατέχει τις ιδιότητες των εργαλείων που χρησιμοποιεί, το βιβλίο παρουσιάζει έναν μεγάλο αριθμό τέτοιων «ιδιοτήτων» (μεταθεωρημάτων), όπως είναι η πληρότητα της προτασιακής λογικής και η φιλαλήθεια και των δύο λογικών: της προτασιακής και της πρωτοτάξιας.|
Για να γράψετε την κριτική σας θα πρέπει να συνδεθείτε ως χρήστης συμπληρόνωντας την διπλανή φόρμα.. Ξεχάσατε τον κωδικό; Νέος λογαριασμός; |
|
