Program Proofs

Number 1 linear programming course. Learn the simplex method, duality and sensitivity analysis for linear programs

Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in program optimization, but traditional methods are restricted by a narrow focus on their immediate effects.

The ability to reason correctly is critical to most aspects of computer science and to software development in particular. This book teaches readers how to better reason about software development, to communicate reasoning, to distinguish between good and bad reasoning, and to read professional literature that presumes knowledge of elementary logic. It explains fundamental concepts and provides reader-friendly instructions for applying logic to software development.

Krantz’s book covers the full history and evolution of the proof concept. The notion of rigorous thinking has evolved over time, and this book documents that development. It gives examples both of decisive developments in the technique of proof and also of magnificent blunders that taught us about how to think rigorously. Many historical vignettes illustrate the concepts and acquaint the reader with how mathematicians think and what they care about.