This book uses active learning techniques, demonstrating a learning experience based on methods applied with professional standards. It provides an understanding of the many languages and notations used in computer science, the formal models used in design, and the foundations of languages including linguistics and logic. --[book cover].