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

Name: Μαθηματική λογική
ISBN: 978-960-524-341-8

Θεωρία και πράξη

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

Έκδοση	Ηράκλειο Κρήτης, Πανεπιστημιακές Εκδόσεις Κρήτης, 1η έκδοση, 2011
Μορφή	Βιβλίο
Θέματα	Μαθηματικά Λογική
ISBN	978-960-524-341-8
ISBN-13	978-960-524-341-8
Φυσική περιγραφή	272σ., Μαλακό εξώφυλλο, 24x17εκ.

LEADER	22 4500
001	171584
005	20200901052620.669
020	##	\|a 9789605243418
020	##	\|a 9789605243418
041	0#	\|a ελληνικά
082	14	\|a 510 \|a 160 \|2 23
100	1#	\|a Τουρλάκης, Γιώργος Ι.
245	10	\|a Μαθηματική λογική \|b Θεωρία και πράξη \|c Γιώργος Ι. Τουρλάκης
250	##	\|a 1η έκδοση
260	##	\|a Ηράκλειο Κρήτης \|b Πανεπιστημιακές Εκδόσεις Κρήτης \|c 2011
300	##	\|a 272σ. \|b Μαλακό εξώφυλλο \|c 24x17εκ.
520	##	\|a Θεωρία και πράξη
650	#1	\|a Μαθηματικά
650	#1	\|a Λογική
903	##	\|a €27.0

Τίτλος	Μαθηματική λογική / Γιώργος Ι. Τουρλάκης ;
Κύριος Συγγραφέας	Γιώργος Ι. Τουρλάκης
Έκδοση	Ηράκλειο Κρήτης, Πανεπιστημιακές Εκδόσεις Κρήτης, 1η έκδοση, 2011
Μορφή	Βιβλίο
Θέματα	Μαθηματικά Λογική
ISBN	978-960-524-341-8
ISBN-13	978-960-524-341-8
Φυσική περιγραφή	272σ., Μαλακό εξώφυλλο, 24x17εκ.