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

Έκπτωση
40%
Τιμή Εκδότη: 30.00
18.00
Τιμή Πρωτοπορίας
+
407710
Συγγραφέας: Enderton, Herbert B.
Σελίδες:400
Επιμελητής:Κυρούσης, Ε., Φειδάς, Θανάσης
Μεταφραστής:Παπαδόγγονας, Γιάννης
Ημερομηνία Έκδοσης:17/10/2014
ISBN:9789605243999
Διαθεσιμότητα στα βιβλιοπωλεία μας
Αθήνα:
Με παραγγελία σε 2-5 εργάσιμες ημέρες
Θεσσαλονίκη:
Με παραγγελία σε 2-5 εργάσιμες ημέρες
Πάτρα:
Με παραγγελία σε 2-5 εργάσιμες ημέρες

Περιγραφή

Αυτό το ευρύτατα καθιερωμένο εγχειρίδιο αποτελεί μια βατή εισαγωγή στο αντικείμενο της μαθηματικής λογικής, η οποία μπορεί να προσαρμοστεί στις διαφορετικές ανάγκες του κάθε αναγνώστη. Η ύλη του είναι συγκροτημένη έτσι ώστε το βιβλίο να μπορεί να χρησιμοποιηθεί σε μαθήματα που απευθύνονται είτε σε προπτυχιακούς φοιτητές των τελευταίων ετών των σπουδών τους είτε σε μεταπτυχιακούς φοιτητές.
Το βιβλίο αποτελεί μια εισαγωγή στις έννοιες της απόδειξης, της αλήθειας και της υπολογισιμότητας. Κατάλληλες υποσημειώσεις σε διάφορα σημεία του κειμένου υποδεικνύουν προαιρετικές «διδακτικές διαδρομές» τις οποίες θα μπορούσε να ακολουθήσει ο αναγνώστης στην ύλη του βιβλίου. Η ελληνική έκδοση βασίζεται στη δεύτερη έκδοση του πρωτότυπου βιβλίου, που περιλαμβάνει ως επιπλέον βοήθεια για τον αναγνώστη επιπρόσθετα παραδείγματα και επεξηγήσεις, ενώ πραγματεύεται επίσης ζητήματα που αφορούν την επιστήμη υπολογιστών, όπως τα πεπερασμένα μοντέλα.

Περιεχόμενα

Πρόλογος στην ελληνική έκδοση
Πρόλογος
Εισαγωγή

0 Χρήσιμα στοιχεία σχετικά με τα σύνολα

1 Προτασιακή λογική
1.0 Άτυπα σχόλια περί των τυπικών γλωσσών
1.1 Η γλώσσα της προτασιακής λογικής
1.2 Απονομή αληθοτιμών
1.3 Ένας αλγόριθμος συντακτικής ανάλυσης
1.4 Επαγωγή και αναδρομή
1.5 Προτασιακοί σύνδεσμοι
1.6 Μεταγωγικά κυκλώματα
1.7 Συμπάγεια και αποτελεσματικότητα

2 Πρωτοτάξια λογική
2.0 Προκαταρκτικά σχόλια
2.1 Πρωτοτάξιες γλώσσες
2.2 Αλήθεια και μοντέλα
2.3 Ένας αλγόριθμος συντακτικής ανάλυσης
2.4 Ένας συναγωγικός λογισμός
2.5 Θεώρημα της αξιοπιστίας και θεώρημα της πληρότητας
2.6 Μοντέλα θεωριών
2.7 Ερμηνείες μεταξύ θεωριών
2.8 Μη συμβατική ανάλυση

3 Mη διαγνωσιμότητα
3.0 Θεωρία αριθμών
3.1 Φυσικοί αριθμοί με διάδοχο
3.2 Άλλοι περιορισμοί της θεωρίας αριθμών
3.3 Μια υποθεωρία της θεωρίας αριθμών
3.4 Αριθμητικοποίηση της σύνταξης
3.5 Μη πληρότητα και μη διαγνωσιμότητα
3.6 Αναδρομικές συναρτήσεις
3.7 Δεύτερο θεώρημα μη πληρότητας
3.8 Αντιπροσωπευσιμότητα της ύψωσης σε δύναμη

4 Δευτεροτάξια λογική
4.1 Δευτεροτάξιες γλώσσες
4.2 Συναρτήσεις Skolem
4.3 Πολυειδής λογική
4.4 Γενικές δομές

Υποδείξεις για περαιτέρω μελέτη
Ευρετήριο

Κριτικές

Δεν βρέθηκαν δημοσιεύσεις

Γράψτε μια κριτική
ΔΩΡΕΑΝ ΑΠΟΣΤΟΛΗ ΣΕ ΟΛΗ ΤΗΝ ΕΛΛΑΔΑ!

Δωρεάν αποστολή σε όλη την Ελλάδα με αγορές > 30€

ΒΙΒΛΙΑ ΧΕΡΙ ΜΕ ΧΕΡΙ

Γιατί τα βιβλία πρέπει να είναι φτηνά!

ΕΩΣ 6 ΑΤΟΚΕΣ ΔΟΣΕΙΣ

Μέχρι 6 άτοκες δόσεις με την πιστωτική σας κάρτα!