This textbook is about systematic problem solving and systematic reasoning using type-driven design. There are two problem solving techniques that are emphasized throughout the book: divide and conquer and iterative refinement. Divide and conquer is the process by which a large problem is broken into two or more smaller problems that are easier to solve and then the solutions for the smaller pieces are combined to create an answer to the problem. Iterative refinement is the process by which a solution to a problem is gradually made better–like the drafts of an essay. Mastering these techniques are essential to becoming a good problem solver and programmer. The book is divided in five parts. Part I focuses on the basics. It starts with how to write expressions and subsequently leads to decision making and functions as the basis for problem solving. Part II then introduces compound data of finite size, while Part III covers compound data of arbitrary size like e.g. lists, intervals, natural numbers, and binary trees. It also introduces structural recursion, a powerful data-processing strategy that uses divide and conquer to process data whose size is not fixed. Next, Part IV delves into abstraction and shows how to eliminate repetitions in solutions to problems. It also introduces generic programming which is abstraction over the type of data processed. This leads to the realization that functions are data and, perhaps more surprising, that data are functions, which in turn naturally leads to object-oriented programming. Part V introduces distributed programming, i.e., using multiple computers to solve a problem. This book promises that by the end of it readers will have designed and implemented a multiplayer video game that they can play with their friends over the internet. To achieve this, however, there is a lot about problem solving and programming that must be learned first. The game is developed using iterative refinement. The reader learns step-by-step about programming and how to apply new knowledge to develop increasingly better versions of the video game. This way, readers practice modern trends that are likely to be common throughout a professional career and beyond.

Wall Street Journal Bestseller New York Times bestselling author Dan Heath explores how to prevent problems before they happen, drawing on insights from hundreds of interviews with unconventional problem solvers. So often in life, we get stuck in a cycle of response. We put out fires. We deal with emergencies. We stay downstream, handling one problem after another, but we never make our way upstream to fix the systems that caused the problems. Cops chase robbers, doctors treat patients with chronic illnesses, and call-center reps address customer complaints. But many crimes, chronic illnesses, and customer complaints are preventable. So why do our efforts skew so heavily toward reaction rather than prevention? Upstream probes the psychological forces that push us downstream—including “problem blindness,” which can leave us oblivious to serious problems in our midst. And Heath introduces us to the thinkers who have overcome these obstacles and scored massive victories by switching to an upstream mindset. One online travel website prevented twenty million customer service calls every year by making some simple tweaks to its booking system. A major urban school district cut its dropout rate in half after it figured out that it could predict which students would drop out—as early as the ninth grade. A European nation almost eliminated teenage alcohol and drug abuse by deliberately changing the nation’s culture. And one EMS system accelerated the emergency-response time of its ambulances by using data to predict where 911 calls would emerge—and forward-deploying its ambulances to stand by in those areas. Upstream delivers practical solutions for preventing problems rather than reacting to them. How many problems in our lives and in society are we tolerating simply because we’ve forgotten that we can fix them?

From Ashima Shiraishi, one of the world's youngest and most skilled climbers, comes a true story of strength and perseverance--in rock climbing and in life. To a rock climber, a boulder is called a "problem," and you solve it by climbing to the top. There are twists and turns, falls and scrapes, and obstacles that seem insurmountable until you learn to see the possibilities within them. And then there is the moment of triumph, when there's nothing above you but sky and nothing below but a goal achieved. Ashima Shiraishi draws on her experience as a world-class climber in this story that challenges readers to tackle the problems in their own lives and rise to greater heights than they would have ever thought possible.

This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem statement to a working and tested programmed solution. It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program correctness, and vectors. It uses video game development to make the content fun while at the same time teaching problem-solving techniques. The book is divided into four parts. Part I presents introductory material on basic problem solving and program design. It starts by reviewing the basic steps of a design recipe using structural recursion on a list. It then proceeds to review code refactoring–a common technique used to refine programs when a better or more elegant way is found to solve a problem–and introduces the reader to randomness. Next, Part II explores a new type of recursion called generative recursion. It navigates the reader through examples involving fractal image generation, efficient sorting, and efficient searching techniques such as binary, depth-first, and breadth-first search. Part III then explores a new type of recursion called accumulative (or accumulator) recursion. Examples used include finding a path in a graph, improving insertion sorting, and list-folding operations. Finally, Part IV explores mutation. To aid the reader in properly sequencing mutations it presents Hoare Logic and program correctness. In addition, it introduces vectors, vector processing, in-place operations, and circular data. Throughout the whole book complexity analysis and empirical experimentation is used to evaluate solutions. This textbook targets undergraduates at all levels as well as graduate students wishing to learn about program design. It details advanced types of recursion, a disciplined approach to the use of mutation, and illustrates the design process by developing a video game exploiting iterative refinement.

Solving complex problems and selling their solutions is critical for personal and organizational success. For most of us, however, it doesn’t come naturally and we haven’t been taught how to do it well. Research shows a host of pitfalls trips us up when we try: We’re quick to believe we understand a situation and jump to a flawed solution. We seek to confirm our hypotheses and ignore conflicting evidence. We view challenges incompletely through the frameworks we know instead of with a fresh pair of eyes. And when we communicate our recommendations, we forget our reasoning isn’t obvious to our audience. How can we do it better? In Cracked It!, seasoned strategy professors and consultants Bernard Garrette, Corey Phelps and Olivier Sibony present a rigorous and practical four-step approach to overcome these pitfalls. Building on tried-and-tested (but rarely revealed) methods of top strategy consultants, research in cognitive psychology, and the latest advances in design thinking, they provide a step-by-step process and toolkit that will help readers tackle any challenging business problem. Using compelling stories and detailed case examples, the authors guide readers through each step in the process: from how to state, structure and then solve problems to how to sell the solutions. Written in an engaging style by a trio of experts with decades of experience researching, teaching and consulting on complex business problems, this book will be an indispensable manual for anyone interested in creating value by helping their organizations crack the problems that matter most.

The fun and simple problem-solving guide that took Japan by storm Ken Watanabe originally wrote Problem Solving 101 for Japanese schoolchildren. His goal was to help shift the focus in Japanese education from memorization to critical thinking, by adapting some of the techniques he had learned as an elite McKinsey consultant. He was amazed to discover that adults were hungry for his fun and easy guide to problem solving and decision making. The book became a surprise Japanese bestseller, with more than 370,000 in print after six months. Now American businesspeople can also use it to master some powerful skills. Watanabe uses sample scenarios to illustrate his techniques, which include logic trees and matrixes. A rock band figures out how to drive up concert attendance. An aspiring animator budgets for a new computer purchase. Students decide which high school they will attend. Illustrated with diagrams and quirky drawings, the book is simple enough for a middleschooler to understand but sophisticated enough for business leaders to apply to their most challenging problems.

The bestselling creators of the hilarious Penguin Problems, Jory John and Lane Smith, turn a giraffe's problematic long neck into an enviable advantage in this fun board book. Edward the giraffe can't understand why his neck is as long and bendy and, well, ridiculous as it is. No other animal has a neck this absurd. He's tried disguising it, dressing it up, strategically hiding behind bushes--honestly, anything you can think of. Just when he has exhausted his neck-hiding options and is about to give up, Cyrus the turtle ambles in (very slowly) and helps Edward understand that his neck has a purpose and, besides, looks excellent in a bow tie. Along with a heavy dose of humor comes a gentle reminder about the importance of acceptance.