Theory of Computing: A Gentle Introduction
"Understanding the fundamentals of computations is central to understanding the rapidly changing practice of computing. In this text, Kinber and Smith present largely traditional material in a dynamic "how to" rather than the typical "why for" fashion. Intuition has been chosen over rigor in an effort to enhance comprehension by those with less extensive mathematical training. The authors rely heavily on figures and examples to lead the reader to insights typically revealed by formal arguments." "Using this approach, Kinber and Smith explain the fundamental intuitions of computation."--Book jacket.
Kinber, Efim and Smith, Carl H., "Theory of Computing: A Gentle Introduction" (2001). School of Computing Faculty Publications. 4.