Algorithms and Programs: An AI-Assisted Approach

Algorithms power modern systems--from flight control and robotics to recommendation engines and AI applications. Algorithms and Programs: An AI-Assisted Approach shows how to clearly define an algorithm's purpose, design a structured outline, translate it into reliable code, and reason about its efficiency and complexity.

Rather than relying on traditional pseudocode, this book uses precise algorithm outlines that are easier to understand and directly support correct implementation. This approach bridges the gap between design and code, reducing ambiguity and minimizing errors.

Each algorithm is expressed as a sequence of clear, intended outcomes, which naturally define its correctness conditions and support reasoning about invariants and program behavior. This structured method encourages better programming practice, improves reliability, and aligns well with modern AI-assisted development tools.

• Practical approach to algorithms: Moves beyond traditional pseudocode to clear, structured algorithm outlines that directly translate into reliable code.
• Bridges theory and real-world programming: Helps learners and engineers connect algorithm design with implementation, correctness, and performance in everyday software development.
• Makes invariants intuitive and usable: Developed from decades of teaching experience, the book rethinks invariants in a practical, common-sense way that students and practitioners can actually apply.
• Designed for modern AI-assisted development: Aligns with how programming is done today, enabling AI-checkable algorithm structures that support correctness and reduce errors.
• Rooted in teaching and real industry experience: Inspired by long-term discussions with students and professional practice, addressing real gaps between academic concepts and industry needs.
• Strategic AI Thinking: Explore leverage from AI platforms that specify function requirements, outline appropriate algorithms, implement outlines, and inspect them reliably.

Eric Braude is Associate Professor and Director of Digital Learning in Computer Science at Boston University, where he teaches software design, machine learning, and algorithms. He is the author of six books, including Software Engineering: Modern Approaches (2nd ed., Wiley, 2010, with Michael Bernstein) and Software Design: From Programming to Architecture (Wiley, 2003), with several titles translated into multiple languages.

With extensive experience across academia, industry, and government, Braude has worked as a researcher, software engineer, and senior R&D manager. He has also served as a technology adviser to leading organizations including Philips, Lockheed, Lucent, and MITRE Corporation.