Название: Effective Theories in Programming Practice Автор: Jayadev Misra Издательство: ACM Books Год: 2023 Страниц: 564 Язык: английский Формат: pdf (true), epub Размер: 20.7 MB
Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a number of those fundamental algorithms to programming students in a concise, yet precise, manner. The book includes the background material needed to understand the explanations and to develop such explanations for other algorithms. The author demonstrates that clarity and simplicity are achieved not by avoiding formalism, but by using it properly.
The book is self-contained, assuming only a background in high school mathematics and elementary program writing skills. It does not assume familiarity with any specific programming language. Starting with basic concepts of sets, functions, relations, logic, and proof techniques including induction, the necessary mathematical framework for reasoning about the correctness, termination and efficiency of programs is introduced with examples at each stage. The book contains the systematic development, from appropriate theories, of a variety of fundamental algorithms related to search, sorting, matching, graph-related problems, recursive programming methodology and dynamic programming techniques, culminating in parallel recursive structures.
Background required for the book: The book assumes only a background in high school mathematics and some elementary program writing skills. It is largely self-contained. No production programming language is used in the book. A modest abstract programming language is introduced that can be understood by any one with knowledge of imperative programming. Recursive programming is explained in Chapter 7 where an elementary version of the programming language Haskell is introduced.
Скачать Effective Theories in Programming Practice
Cryptography for Secure Encryption Название: Cryptography for Secure Encryption Автор: Robert G. Underwood Издательство: Springer Год: 2022 Страниц: 324 Размер: 10,04 МБ Формат: PDF...
Basic Concepts in Algorithms Название: Basic Concepts in Algorithms Автор: Shmuel Tomi Klein Издательство: World Scientific Publishing Год: 2021 Страниц: 365 Язык: английский...
Algorithms: Design and Analysis Название: Algorithms: Design and Analysis Автор: Mangey Ram, Preeti Malik Издательство: De Gruyter Год: 2021 Страниц: 178 Язык: английский Формат:...
Elementary Number Theory with Programming Название: Elementary Number Theory with Programming Автор: Marty Lewinter, Jeanine Meyer Издательство: Wiley Год: 2015 Формат: PDF Страниц: 232 Для...
Навигация
Вход на сайт
Реклама
Effective Theories in Programming Practice 
