Fundamentals of Computing: Logic, Problem-Solving, Programs v. 1

This second edition is based on the ACM curricula 1991 and is the first in a four-book series of introductory texts in computer science. It focuses on topics such as logic, problem-solving and theory and programs, providing an integrated overview of the major areas of computing while introducing students to the key processes of theory, abstraction and design. Topics covered include: algorithms and data structures, architecture, artificial intelligence and operating systems. The text integrates laboratory experience uniting principles with programming, and introduces the social and professional context of the discipline.