Used with its accompanying textbook, this text is a fully class-tested lab manual for the first course in computer science (CS1) that follows the guidelines of the ACM/IEEE-CS report Computing Curricula 1991, presents the first course in "breadth-first curriculum", integrates the study of problem solving and Pascal programming with its underlying theory (logic, sets, and functions), and more.