期刊全称 | Animated Problem Solving | 期刊简称 | An Introduction to P | 影响因子2023 | Marco T. Morazán | 视频video | http://file.papertrans.cn/158/157741/157741.mp4 | 发行地址 | Introduces systematic problem solving and reasoning, from basics like expression writing to distributed programming.Emphasizes type-driven design using divide and conquer and iterative refinement.Deve | 学科分类 | Texts in Computer Science | 图书封面 |  | 影响因子 | .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 arbitrarysize 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 d | Pindex | Textbook 2022 |
The information of publication is updating
|
|