Introduction to Computation: Haskell, Logic and Automata, Sannella Donald, Fourman Michael, Peng Haoran
Автор: Hutton Название: Programming in Haskell ISBN: 1316626229 ISBN-13(EAN): 9781316626221 Издательство: Cambridge Academ Рейтинг: Цена: 7390.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This edition has been extensively updated and expanded, with new chapters covering recent and more advanced features of Haskell, new examples and exercises, and freely downloadable lecture slides and example code. All concepts are explained from first principles and no programming experience is required, making it accessible to a broad range of readers.
Автор: Richard S. Bird, Jeremy Gibbons Название: Algorithm Design with Haskell ISBN: 1108491618 ISBN-13(EAN): 9781108491617 Издательство: Cambridge Academ Рейтинг: Цена: 8712.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the five main principles of algorithm design: divide and conquer, greedy algorithms, thinning, dynamic programming, and exhaustive search. It serves students, teachers, researchers, and professionals who want to know more about what goes into a good algorithm and how such algorithms can be expressed in purely functional terms.
Автор: Petr Hajek Название: Metamathematics of First-Order Arithmetic ISBN: 1107168414 ISBN-13(EAN): 9781107168411 Издательство: Cambridge Academ Рейтинг: Цена: 16743.00 р. 23918.00-30% Наличие на складе: Есть (1 шт.) Описание: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.
Автор: Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger, Ulrich Hertrampf Название: Discrete Algebraic Methods: Arithmetic, Cryptography, Automata and Groups ISBN: 3110413329 ISBN-13(EAN): 9783110413328 Издательство: Walter de Gruyter Цена: 6499.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The idea behind this book is to provide the mathematical foundations for assessing modern developments in the Information Age. It deepens and complements the basic concepts, but it also considers instructive and more advanced topics. The treatise starts with a general chapter on algebraic structures; this part provides all the necessary knowledge for the rest of the book. The next chapter gives a concise overview of cryptography. Chapter 3 on number theoretic algorithms is important for developping cryptosystems, Chapter 4 presents the deterministic primality test of Agrawal, Kayal, and Saxena. The account to elliptic curves again focuses on cryptographic applications and algorithms. With combinatorics on words and automata theory, the reader is introduced to two areas of theoretical computer science where semigroups play a fundamental role.The last chapter is devoted to combinatorial group theory and its connections to automata. Contents:Algebraic structuresCryptographyNumber theoretic algorithmsPolynomial time primality testElliptic curvesCombinatorics on wordsAutomataDiscrete infinite groups
Автор: Philippe Besnard Название: An Introduction to Default Logic ISBN: 3642080782 ISBN-13(EAN): 9783642080784 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Default logic is specifically concerned with common sense reasoning, which has recently been recognized in the Artificial Intelligence literature to be of fundamental importance for knowledge representation.
Описание: explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability;
Автор: Buckley James J., Eslami Esfandiar Название: An Introduction to Fuzzy Logic and Fuzzy Sets ISBN: 3790814474 ISBN-13(EAN): 9783790814477 Издательство: Springer Рейтинг: Цена: 7680.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is to be the starting point for any curriculum in fuzzy systems in fields like computer science, mathematics, business/economics and engineering. It covers the basics leading to: fuzzy clustering, fuzzy pattern recognition, fuzzy database, fuzzy image processing, soft computing, fuzzy applications in operations research, fuzzy decision making, fuzzy rule based systems, fuzzy systems modeling, fuzzy mathematics. It is not a book designed for researchers - it is where you really learn the "basics" needed for any of the above-mentioned applications.
Автор: Stoyan Mihov, Klaus U. Schulz Название: Finite-State Techniques: Automata, Transducers and Bimachines ISBN: 1108485413 ISBN-13(EAN): 9781108485418 Издательство: Cambridge Academ Рейтинг: Цена: 10611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text for graduate students and researchers gives a complete coverage of the field with mathematical rigour, from basics to advanced topics. It closes the gap between theory and real practice by providing full proofs and executable code for all algorithms, showcasing the efficient and elegant solutions that finite-state methods offer.
Описание: This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.
Описание: This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.
Автор: Stanescu, Dan Название: Introduction to Scientific Computation ISBN: 0367206846 ISBN-13(EAN): 9780367206840 Издательство: Taylor&Francis Рейтинг: Цена: 13779.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book intends to serve a very broad audience of college students across a variety of disciplines. It exposes its readers to some of the basic tools and techniques used in computational science, with a view to helping them understand what happens `behind the scenes` when simple tools are used.
Автор: DEW/JAMES Название: Introduction to Numerical Computation in Pascal ISBN: 1475739427 ISBN-13(EAN): 9781475739428 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Our intention in this book is to cover the core material in numerical analysis normally taught to students on degree courses in computer science.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
