Νέα Υπολογιστικά Παραδείγματα, Μεταβαλλόμενες Αντιλήψεις για το Τι είναι Υπολογίσιμο

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