ACM Books, 2023. — 426 p. — ISBN: 979-8-4007-0778-0. Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant and profound way." This volume...
Springer, 2021. — 221 p. — (Texts in Computer Science). — ISBN 978-3-030-87882-5. This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale...
Independently published, 2023. — 102 p. Алгоритмы Grokking: простые и эффективные методы глубокого и машинного обучения Grokking In the past decade, Artificial Intelligence has been making waves. From self-driving cars to Siri to Alexa, Artificial Intelligence (AI) is everywhere. But what exactly is it? The term "artificial intelligence" was coined in 1956 by John McCarthy, a...
Palgrave Macmillan Cham, 2022. — 180 p. — ISBN 978-3-031-04219-5. During the Iraq War, American soldiers were sent to both fight an enemy and to recover a “failed state” in pixelated camouflage uniforms, accompanied by robots, and armed with satellite maps and biometric hand-held scanners. The Iraq War, however, was no digital game: massive-scale physical death and destruction...
Springer, 2021. — 155 p. — (Schriftenreihe der Institute für Systemdynamik (ISD) und optische Systeme (IOS)). — ISBN 978-3-658-34458-0. Flash memory is an important non-volatile storage medium. Reliable and secure data storage in flash memories requires sophisticated coding and signal processing techniques. Although error-correcting codes are applied in practically all flash...
Springer, 2021. — 496 p. — ISBN 978-3-030-72356-9. This textbook covers the broader field of artificial intelligence. The chapters for this textbook span within three categories: Deductive reasoning methods: These methods start with pre-defined hypotheses and reason with them in order to arrive at logically sound conclusions. The underlying methods include search and...
Springer, 2021. — 256 p. — ISBN 978-981-16-2608-1. Graph data is powerful, thanks to its ability to model arbitrary relationship between objects and is encountered in a range of real-world applications in fields such as bioinformatics, traffic network, scientific collaboration, World Wide Web and social networks. Graph data mining is used to discover useful information and...
Independently published, 2020. — 346 p. — ISBN B08LD1NKL1. An Algorithm is a sequence of steps to solve a problem. Design and Analysis of Algorithm is very important for designing algorithm to solve different types of problems in the branch of computer science and information technology. This book introduces the fundamental concepts of Designing Strategies, Complexity analysis...
Manning Publications Co., 2020. — 320 p. — ISBN: 978-1617296185. Grokking Artificial Intelligence Algorithms is a fully-illustrated and interactive tutorial guide to the different approaches and algorithms that underpin AI. Written in simple language and with lots of visual references and hands-on examples, you’ll learn the concepts, terminology, and theory you need to...
Independently published, 2019. — 363 p. — ISBN10: 1686863268; ISBN13: 978-1686863264 This book was written to fill the gap that exists when Computer Science students, and programmers, attempt to learn and analyze the different algorithms that currently exist. I took a course on Algorithms and was disappointed in the type of material that’s currently available. There are two...
Rodney Anderson, 2018. — 124 p. — ASIN B07DS7GXFG. An easy & simple guide to analyzing programs and algorithms using Big-O, Big Omega, & Big Theta, including cheat sheets and practice problems.
Springer, 2011. — 195 p. — ISBN: 0857291203 9780857291202. Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation. Proofs and Algorithms: An Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of...
Springer, 2017. — 736 p. — ISBN: 1493967932. Lively prose and imaginative exercises draw the reader into this unique introductory real analysis textbook. Motivating the fundamental ideas and theorems that underpin real analysis with historical remarks and well-chosen quotes, the author shares his enthusiasm for the subject throughout. A student reading this book is invited not...
Комментарии