- Добавил: literator
- Дата: 17-01-2022, 15:59
- Комментариев: 0

Автор: Marco T. Morazan
Издательство: Springer
Серия: Texts in Computer Science
Год: 2022
Страниц: 688
Язык: английский
Формат: pdf (true)
Размер: 10.9 MB
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 conqueranditerative 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. In this textbook, all the solutions to problems are expressed as programs. It is important to be somewhat precise about what a program is. A program is much more than just code written using a programming language. Remember that a program is a solution to a problem. Therefore, a program has a design, code, examples of how it works, and tests. That is, it communicates how the problem is solved and illustrates that the solution works. If any of the mentioned components are missing, then we have an incomplete program.