Μαθηματική λογική ● Γεώργιος Τουρλάκης ● ISBN 9789605243418 ● 2011

Μαθηματική λογική | Θεωρία και πράξη. ● Γιώργος Ι. Τουρλάκης ● Εκδόσεις: Πανεπιστημιακές Κρήτης – Ίδρυμα Τεχνολογίας και Έρευνας – 2011 | ISBN 9789605243418 σελ.258

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

Μαθηματική λογική ● Γεώργιος Τουρλάκης ● ISBN 9789605243418 ● 2011

Γιώργος Ι. Τουρλάκης – Πανεπιστημιακές Κρήτης – Ίδρυμα Τεχνολογίας και Έρευνας – ISBN 9789605243418

ΥπότιτλοςΘεωρία και πράξη.
ΣυγγραφέαςΓιώργος Ι. Τουρλάκης
ΕκδότηςΠανεπιστημιακές Κρήτης – Ίδρυμα Τεχνολογίας και Έρευνας
Έτος Έκδοσης2011
Σελίδες258
Μέγεθος24 × 17
ΕξώφυλλοΜαλακό εξώφυλλο
ISBN 139789605243418
ISBN-139789605243418
ISBN 109605243415
ΘεματολογίαΕΠΙΣΤΗΜΗ – ΙΑΤΡΙΚΗ – ΔΙΚΑΙΟ ● ΕΠΙΣΤΗΜΕΣ – ΤΕΧΝΟΛΟΓΙΑ
ΕπιμέλειαΜΑΥΡΑΓΑΝΗ ΑΜΑΡΥΛΛΙΣ
ΣειράΠΑΝΕΠΙΣΤΗΜΙΑΚΗ ΒΙΒΛΙΟΘΗΚΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ

Περίληψη – Περιεχόμενα

Μαθηματική λογική ● Γεώργιος Τουρλάκης ● ISBN 9789605243418 ● 2011

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


Τα ανωτέρω στοιχεία και πληροφορίες είναι ενδεικτικά και όχι περιοριστικά - Επίσημη πληροφόρηση μπορείτε να αντλείτε από τους κατά περίπτωση εκδοτικούς οίκους