Μαθηματική εισαγωγή στη λογική ● Herbert Enderton ● 9789605243999

Μαθηματική εισαγωγή στη λογική ● Herbert Enderton ● Εκδόσεις: Πανεπιστημιακές Κρήτης – Ίδρυμα Τεχνολογίας και Έρευνας – 2013 | ISBN 9789605243999 σελ.386

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

Μαθηματική εισαγωγή στη λογική ● Herbert Enderton ● 9789605243999

Herbert Enderton – Πανεπιστημιακές Κρήτης – Ίδρυμα Τεχνολογίας και Έρευνας – ISBN 9789605243999

Υπότιτλος – –
ΣυγγραφέαςHerbert Enderton
ΕκδότηςΠανεπιστημιακές Κρήτης – Ίδρυμα Τεχνολογίας και Έρευνας
Έτος Έκδοσης2013
Σελίδες386
Μέγεθος25 × 18
Εξώφυλλο – –
ISBN 139789605243999
ISBN-13978-960-524-399-9
ΘεματολογίαΕΠΙΣΤΗΜΗ – ΙΑΤΡΙΚΗ – ΔΙΚΑΙΟ ● ΕΠΙΣΤΗΜΕΣ – ΤΕΧΝΟΛΟΓΙΑ
ΜετάφρασηΠΑΠΑΔΟΓΓΟΝΑΣ ΙΩΑΝΝΗΣ
ΕπιμέλειαΠΑΠΑΔΟΓΓΟΝΑΣ ΙΩΑΝΝΗΣ
ΣειράΠΑΝΕΠΙΣΤΗΜΙΑΚΗ ΒΙΒΛΙΟΘΗΚΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ

Περίληψη – Περιεχόμενα

Μαθηματική εισαγωγή στη λογική ● Herbert Enderton ● 9789605243999

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


Τα ανωτέρω στοιχεία και πληροφορίες είναι ενδεικτικά και όχι περιοριστικά - Επίσημη πληροφόρηση μπορείτε να αντλείτε από τους κατά περίπτωση εκδοτικούς οίκους