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 Рейтинг: Цена: 49270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 58080.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 111620.00 T Наличие на складе: Есть Описание: 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.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108411398 ISBN-13(EAN): 9781108411394 Издательство: Cambridge Academ Рейтинг: Цена: 29560.00 T Наличие на складе: Поставка под заказ. Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.
Автор: 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 Цена: 43330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Gilles Dowek Название: Proofs and Algorithms: Introduction to Logic and Computability Theory ISBN: 0857291203 ISBN-13(EAN): 9780857291202 Издательство: Springer Рейтинг: Цена: 32560.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, G?del’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
Автор: O`Regan Gerard Название: Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications ISBN: 3030815870 ISBN-13(EAN): 9783030815875 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability;
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108420060 ISBN-13(EAN): 9781108420068 Издательство: Cambridge Academ Рейтинг: Цена: 95030.00 T Наличие на складе: Поставка под заказ. Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.
Автор: Buckley James J., Eslami Esfandiar Название: An Introduction to Fuzzy Logic and Fuzzy Sets ISBN: 3790814474 ISBN-13(EAN): 9783790814477 Издательство: Springer Рейтинг: Цена: 51200.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 70740.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
