An accessible and rigorous textbook for introducing undergraduates to computer science theoryWhat Can Be Computed? is a uniquely accessible yet rigorous introduction to the most profound ideas at the heart of computer science. Crafted specifically for undergraduates who are studying the subject for the first time, and requiring minimal prerequi
"The concept is excellent, and it fills an important gap in the available textbooks on computation theory."---Kitty Meeks, London Mathematical Society