• Αρχική
  • Συλλογές
  • Τα βιβλία μου
  • Κατηγορίες
  • Βιβλία
  • Συγγραφείς
  • Εκδότες
  • Σειρές
  • Ανακαλύψτε
  • Προτεινόμενα
  • Δημοφιλή
  • Βραβευμένα
  • Τελευταίες Κυκλοφορίες
  • Σελίδες
  • Σχετικά
  • Πολιτική Απορρήτου
  • Επικοινωνία

Sqreen | Runtime Application Protection Crafted with in CEID
© 20[0-9]{2} Copyleft
  • ΑΡΧΙΚΗ
  • ΣΥΛΛΟΓΕΣ
  • ΤΑ ΒΙΒΛΙΑ ΜΟΥ
  • ΣΥΝΔΕΣΗ
  • ΕΓΓΡΑΦΗ
  • Βιβλία
  • Μαθηματική λογική

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

book_cover
Προσθήκη

0 0

Συλλογές
0

Εμφανίσεις
42

Επισκέπτες
37

Μαθηματική λογική
Θεωρία και πράξη


Γιώργος Ι. Τουρλάκης


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

  • Περιγραφή
  • Προβολή MARC
  • Προβολή ISBD
ΈκδοσηΗράκλειο Κρήτης, Πανεπιστημιακές Εκδόσεις Κρήτης, 1η έκδοση, 2011
ΜορφήΒιβλίο
ΘέματαΜαθηματικά
Λογική
ISBN978-960-524-341-8
ISBN-13978-960-524-341-8
Φυσική περιγραφή272σ., Μαλακό εξώφυλλο, 24x17εκ.
Τιμή€ 27.0, (Τελ. ενημ: 2012-01-11)
ΔιαθεσιμότηταΚυκλοφορεί - Εκκρεμής εγγραφή
LEADER 22 4500
001171584
00520200901052620.669
020##|a 9789605243418
020##|a 9789605243418
0410#|a ελληνικά
08214|a 510 |a 160 |2 23
1001#|a Τουρλάκης, Γιώργος Ι.
24510|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
ΜορφήΒιβλίο
ΘέματαΜαθηματικά
Λογική
ISBN978-960-524-341-8
ISBN-13978-960-524-341-8
Φυσική περιγραφή272σ., Μαλακό εξώφυλλο, 24x17εκ.

Σχόλια/Κριτικές

    Συνδεθείτε για να δημοσιεύσετε κριτικές
Περισσότερα από Μαθηματικά
book_cover
Μιγαδικές μεταβλητές
book_cover
Θεωρία καταστροφών
book_cover
Ολοκληρωτικός λογισμός συναρτήσεων μιας πραγματικής μεταβλητής
book_cover
Καινοτόμες προσεγγίσεις των μαθηματικών μέσα από εφαρμογές
book_cover
Εισαγωγή στην ασαφή λογική (Fuzzy Logic)
book_cover
Διακριτά μαθηματικά με εφαρμογές
book_cover
Εφαρμοσμένοι εξελικτικοί αλγόριθμοι σε Java
book_cover
Φράκταλ
book_cover
Μαθηματικά και εφαρμογές
book_cover
Αριθμητικές μέθοδοι για μηχανικούς
book_cover
Δυσαριθμησία και η αντιμετώπιση του δυσαριθμικού παιδιού
book_cover
Προγραμματισμός αποφάσεων και μαθηματικός προγραμματισμός
Περισσότερα
Περισσότερα από Λογική
book_cover
Εισαγωγή στη φιλοσοφία
book_cover
Δοκιμασία δεξιοτήτων
book_cover
Το παράδοξο
book_cover
Λογική: η δομή του επιχειρήματος
book_cover
Το τέλος της πίστης
book_cover
Φρέγκε
book_cover
Η επιστήμη της λογικής
book_cover
Παράδοξα
book_cover
Η επιστήμη της λογικής
book_cover
Tractatus Logico-Philosophicus
book_cover
Όταν ο Χότζας συνάντησε τον Αϊνστάιν
book_cover
Το θεώρημα της μη πληρότητας
Περισσότερα