Contents Chapter 1. Introduction 1.1. Overview 1.2. How to Create Programs 1.3. How to Analyze Programs Chapter 2. Arrays 2.1. Axiomatization 2.2. Ordered Lists 2.3. Sparse Matrices 2.4. Representation of Arrays Chapter 3. Stacks and Queues 3.1. Fundamentals 3.2. A Mazing Problem 3.3. Evaluation of Expressions 3.4. Multiple Stacks and Queues Chapter 4. Linked Lists 4.1. …