Ο Λογαριασμός μου

Δωρεάν αποστολή για αγορές άνω των 30€ | Δωρεάν αντικαταβολή | Έως 24 άτοκες δόσεις | Έως -85% χαμηλότερες τιμές σε πάνω από 300.000 τίτλους

+
-
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ // ΘΕΩΡΙΑ ΚΑΙ ΠΡΑΞΗ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ

ΘΕΩΡΙΑ ΚΑΙ ΠΡΑΞΗ

+
-
ΤΟΥΡΛΑΚΗΣ ΓΙΩΡΓΟΣ
Κωδ. Πολιτείας: 3351-0386
Τιμή Έκδοσης
€27.00
Τιμή Πολιτείας
€18.90
(-30%)
Κερδίζετε €8.10


- Διευκρινίσεις σχετικά με τις τιμές διάθεσης βιβλίων


Παρουσίαση

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

Περιεχόμενα

Ι - Προτασιακή λογική
1. Η αρχή
1.1 Προτασιακοί τύποι
1.2 Επαγωγή ως προς την πολυπλοκότητα των τύπων
1.3 Επαγωγικοί ορισμοί στο σύνολο των τύπων
1.4 Αποδείξεις και θεωρήματα
1.5 Συμπληρωματικές ασκήσεις
ΙΙ - Θεωρήματα και μεταθεωρήματα
2.1 Επιπλέον αποδείξεις στο στυλ Hilbert
2.2 Αποδείξεις με εξισωτικό στυλ
2.3 Πρακτική κατάστρωση των εξισωτικών αποδείξεων
2.4 Επιπλέον αποδείξεις εμπλουτίζοντας την "εργαλειοθήκη"
2.5 Η χρήση μη λογικών αξιωμάτων στις εξισωτικές αποδείξεις
2.6 Το θεώρημα του συλλογισμού
2.7 Συμπληρωματικές ασκήσεις
3. Η αλληλεξάρτηση μεταξύ μορφής και σημασιολογίας
3.1 Φιλαλήθεια
3.2 Το θεώρημα του Post (της ταυτολογίας)
3.3 Πλήρης κύκλος
3.4 Το "αξίωμα" του Leibniz
3.5 Συμπλήρωμα: Η τεχνική της "επίλυσης" στην προτασιακή λογική
3.6 Συμπληρωματικές ασκήσεις
II - Λογική των κατηγορημάτων
4. Επεκτείνοντας την προτασιακή λογική
4.1 Η πρωτοτάξια γλώσσα της λογικής κατηγορημάτων
4.2 Αξιώματα και κανόνες της πρωτοτάξιας λογικής
4.3 Συμπληρωματικές ασκήσεις
5. Δύο ισοδύναμες λογικές
6. Η γενίκευση και πρόσθετοι κανόνες
6.1 Εισάγοντας και αφαιρώντας τον ποσοδείκτη
6.2 Κανόνες τύπου Leibniz που αλλοιώνουν τις εμβέλειες ποσοδεικτών
6.3 Δύο επιπλέον παράγωγοι κανόνες Leibniz
6.4 Κι άλλα χρήσιμα εργαλεία
6.5 Εισαγωγή και αφαίρεση του ποσοδείκτη
6.6 Συμπληρωματικές ασκήσεις
7. Ιδιότητες της ισότητας
8. Η σημασιολογία των πρωτοτάξιων γλωσσών
8.1 Ερμηνείες
8.2 Φιλαλήθεια στη λογική κατηγορημάτων
8.3 Συμπληρωματικές ασκήσεις
Λεξικό βασικών όρων
Βιβλιογραφία
Λεπτομέρειες
ISBN139789605243418
ΕκδότηςΠΕΚ (ΠΑΝΕΠΙΣΤΗΜΙΑΚΕΣ ΕΚΔΟΣΕΙΣ ΚΡΗΤΗΣ)
ΣειράΠΑΝΕΠΙΣΤΗΜΙΑΚΗ ΒΙΒΛΙΟΘΗΚΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ / ΕΠΙΣΤΗΜΗ ΥΠΟΛΟΓΙΣΤΩΝ
Χρονολογία ΈκδοσηςΔεκέμβριος 2011
Αριθμός σελίδων258
Διαστάσεις24x17
ΕπιμέλειαΜΑΥΡΑΓΑΝΗ ΑΜΑΡΥΛΛΙΣ
Κωδικός Πολιτείας3351-0386
Θέμα
Θέση στο κατάστημαΕίσοδος Δ, Πατάρι

To βιβλίο αυτό προτείνουν οι:

ealexiou123

Κριτικές για το προϊόν

Δεν υπάρχουν κριτικές για αυτό το προϊόν.
Παρακαλούμε συνδεθείτε για να γράψετε μία κριτική.

Πλοήγηση

Θεματική ενότητα
Θεματική κατηγορία
Υποκατηγορία

Podcast – Βίος και Πολιτεία

Προσφορές ΒιβλίωνΠερισσότερα

Η ΙΣΤΟΡΙΑ ΤΗΣ ΑΘΕΙΑΣ
MINOIS GEORGES
€44.52 €17.81
(-60%)
Κερδίζετε €26.71
ΕΛΑ ΚΑΛΕ ΤΩΡΑΑΑ!
ΒΡΑΝΑ ΣΠΕΡΑΝΤΖΑ
€14.50 €5.07
(-65%)
Κερδίζετε €9.43

Βρείτε μας στο...

X
Verisign Eurobank EFG
Paypal IRIS