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

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

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

book_cover
Προσθήκη

0 0

Συλλογές
0

Εμφανίσεις
41

Επισκέπτες
36

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


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


Το βιβλίο αυτό πραγματεύεται το πρωταρχικό εργαλείο -κατά τους 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
Η μαθηματική ανακάλυψη
book_cover
Μαθήματα εφαρμοσμένου αυτόματου ελέγχου
book_cover
Εισαγωγή στη χαοτική δυναμική και στα fractals (κλασμοειδή)
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
Μαθηματική λογική
book_cover
Πώς να κερδίζετε κάθε αντιπαράθεση
book_cover
Η επιστήμη της λογικής
Περισσότερα