This highly anticipated revision builds upon the strengths of the previous edition. Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field.
Revised for currency with updated examples and end-of-chapter exercises that review definitions, concepts, and problems to challenge and extend students� understanding.
Provides both formal and informal definitions and descriptions of methods to increase student retention.
Includes Worked Out Exam... more
Covers the foundations of theoretical computing designed around theorems and proofs.