Unique in combining a mathematically sound introduction to computing with an introduction to the Pascal language, this text is well suited to the needs and length of an introductory programming course. The book also introduces topics of general interest in computing including algorithms and their efficiency, searching and sorting, termination and verification of programs, and abstract data types.