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

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

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

book_cover
Προσθήκη

0 0

Συλλογές
0

Εμφανίσεις
38

Επισκέπτες
34

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


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


Το βιβλίο αυτό πραγματεύεται το πρωταρχικό εργαλείο -κατά τους 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
Μαθηματικοί γρίφοι 1
book_cover
Αρχές μαθηματικής αναλύσεως
book_cover
Θεωρία και προβλήματα στα διακριτά μαθηματικά
book_cover
Εισαγωγή στα πεπερασμένα στοιχεία για μηχανικούς
book_cover
Οι εξισώσεις
book_cover
Μαθηματικές μέθοδοι οικονομικής ανάλυσης
book_cover
Μέθοδοι ποσοτικής ανάλυσης
book_cover
Μαθημαγικά
book_cover
Ειδικές συναρτήσεις
book_cover
Θεωρία ομάδων
book_cover
Ασκήσεις απειροστικού λογισμού 2
book_cover
Θεμελιώδεις έννοιες μαθηματικής ανάλυσης
Περισσότερα
Περισσότερα από Λογική
book_cover
Εισαγωγή στη φιλοσοφία
book_cover
Tractatus Logico - Philosophicus
book_cover
Το παράδοξο
book_cover
Λογική: η δομή του επιχειρήματος
book_cover
Λογική
book_cover
Φιλοσοφία της λογικής
book_cover
Μια σύντομη ιστορία του παράδοξου
book_cover
Έννοιες: η μοναδική βάση για την "Κοινωνία της γνώσης":
book_cover
Η επιστήμη της λογικής
book_cover
Επιστήμη της λογικής: Η διδασκαλία περί του Είναι
book_cover
Η μωρία των ανοήτων
book_cover
Tractatus Logico-Philosophicus
Περισσότερα