Theory of Computation
An Introduction
By James L. Hein
Can the problem be solved by a computer program?
If not, can you modify the problem so that it can be solved by a program?
If so, can you write a program to solve the problem?
Can you convince another person that your program is correct?
Can you convince another person that your program is efficient?
If not, can you modify the problem so that it can be solved by a program?
If so, can you write a program to solve the problem?
Can you convince another person that your program is correct?
Can you convince another person that your program is efficient?
One goal of the book is that you obtain a better understanding of these
questions together with a better ability to answer them. The book's ultimate
goal is that you gain self-reliance and confidence in your own ability
to solve problems, just like the self-reliance and confidence you have in
your ability to ride a bike.
No comments:
Post a Comment