Μια μαθηματική εισαγωγή στη λογική
Αυτό το ευρύτατα καθιερωμένο εγχειρίδιο αποτελεί μια βατή εισαγωγή στο αντικείμενο της μαθηματικής λογικής, η οποία μπορεί να προσαρμοστεί στις διαφορετικές ανάγκες του κάθε αναγνώστη. Η ύλη του είναι συγκροτημένη έτσι ώστε το βιβλίο να μπορεί να χρησιμοποιηθεί σε μαθήματα που απευθύνονται είτε σε προπτυχιακούς φοιτητές των τελευταίων ετών των σπουδών τους είτε σε μεταπτυχιακούς φοιτητές.
Το βιβλίο αποτελεί μια εισαγωγή στις έννοιες της απόδειξης, της αλήθειας και της υπολογισιμότητας. Κατάλληλες υποσημειώσεις σε διάφορα σημεία του κειμένου υποδεικνύουν προαιρετικές «διδακτικές διαδρομές» τις οποίες θα μπορούσε να ακολουθήσει ο αναγνώστης στην ύλη του βιβλίου. Η ελληνική έκδοση βασίζεται στη δεύτερη έκδοση του πρωτότυπου βιβλίου, που περιλαμβάνει ως επιπλέον βοήθεια για τον αναγνώστη επιπρόσθετα παραδείγματα και επεξηγήσεις, ενώ πραγματεύεται επίσης ζητήματα που αφορούν την επιστήμη υπολογιστών, όπως τα πεπερασμένα μοντέλα.
| Τίτλος βιβλίου: | Μια μαθηματική εισαγωγή στη λογική |
|---|
| Τίτλος πρωτότυπου: | A Mathematical Introduction to Logic, Harcourt/Academic Press, 2nd Edition, 2001 |
|---|
| Εκδότης: | Πανεπιστημιακές Εκδόσεις Κρήτης |
|---|
| Συντελεστές βιβλίου: | Enderton Herbert (Συγγραφέας)
Παπαδόγγονας Ιωάννης (Μεταφραστής)
Φειδάς, Θανάσης (Επιμελητής)
Κυρούσης, Λευτέρης Μ. (Επιμελητής)
|
|---|
| ISBN: | 9789605243999 | Εξώφυλλο βιβλίου: | Σκληρό |
|---|
| Σειρά εκδότη: | Μαθηματικά | Σελίδες: | 400 |
|---|
| Στοιχεία έκδοσης: | Φεβρουάριος 2018, 2η έκδοση | Διαστάσεις: | 24x17 |
|---|
| Κατηγορίες: | Επιστήμες > Θετικές > Μαθηματικά |
|---|
Τσιάλιος, Γεώργιος Ι.
Ο Γεώργιος Ιωαν. Τσιάλιος γεννήθηκε στη Βουλιάστα Αγίου Δημητρίου - Δωδώνης - Ιωαννίνων το 1936. Είναι πτυχιούχος της Νομικής Σχολής του Αριστοτελείου Πανεπιστημίου Θεσσαλονίκης. Υπηρέτησε ως Δικαστής.
