Автор: Barendregt Название: Lambda Calculus with Types ISBN: 0521766141 ISBN-13(EAN): 9780521766142 Издательство: Cambridge Academ Рейтинг: Цена: 12830.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.
Автор: 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.
Автор: Hinman Название: Recursion-Theoretic Hierarchies ISBN: 1107168244 ISBN-13(EAN): 9781107168244 Издательство: Cambridge Academ Рейтинг: Цена: 23918.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.
Автор: R?misch Название: Mathematical Analysis and the Mathematics of Computation ISBN: 3319427539 ISBN-13(EAN): 9783319427539 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a comprehensive, unifying introduction to the field of mathematical analysis and the mathematics of computing. It develops the relevant theory at a modern level and it directly relates modern mathematical ideas to their diverse applications.The authors develop the whole theory. Starting with a simple axiom system for the real numbers, they then lay the foundations, developing the theory, exemplifying where it's applicable, in turn motivating further development of the theory. They progress from sets, structures, and numbers to metric spaces, continuous functions in metric spaces, linear normed spaces and linear mappings; and then differential calculus and its applications, the integral calculus, the gamma function, and linear integral operators. They then present important aspects of approximation theory, including numerical integration. The remaining parts of the book are devoted to ordinary differential equations, the discretization of operator equations, and numerical solutions of ordinary differential equations.This textbook contains many exercises of varying degrees of difficulty, suitable for self-study, and at the end of each chapter the authors present more advanced problems that shed light on interesting features, suitable for classroom seminars or study groups. It will be valuable for undergraduate and graduate students in mathematics, computer science, and related fields such as engineering. This is a rich field that has experienced enormous development in recent decades, and the book will also act as a reference for graduate students and practitioners who require a deeper understanding of the methodologies, techniques, and foundations.
Автор: Fenstad Название: General Recursion Theory ISBN: 1107168163 ISBN-13(EAN): 9781107168169 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of recursion theory.
Автор: Boissonnat Jean-Daniel Название: Cambridge Texts in Applied Mathematics ISBN: 1108410898 ISBN-13(EAN): 9781108410892 Издательство: Cambridge Academ Рейтинг: Цена: 6019.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a rigorous introduction to geometric and topological inference, a rapidly evolving field that intersects computational geometry, applied topology, and data analysis. It can serve as a textbook for graduate students or researchers in mathematics, computer science and engineering interested in a geometric approach to data science.
Автор: Thomas Pfaff Название: R For College Mathematics and Statistics ISBN: 0367196859 ISBN-13(EAN): 9780367196851 Издательство: Taylor&Francis Рейтинг: Цена: 14086.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: R can be used consistently in the college mathematics classroom. We no longer have to limit ourselves to ``nice`` functions in calculus classes. We can require reports and homework with graphs. We can do simulations and experiments. R can be useful for student projects, for creating graphics for teaching, as well as for scholarly work.
Автор: Oikkonen Название: Logic Colloquium `90 ISBN: 110716902X ISBN-13(EAN): 9781107169029 Издательство: Cambridge Academ Рейтинг: Цена: 17424.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990, containing eighteen papers written by leading researchers in logic. Between them they cover all fields of mathematical logic, including model theory, proof theory, recursion theory, and set theory.
Автор: H?jek Название: G?del `96 ISBN: 1107168023 ISBN-13(EAN): 9781107168022 Издательство: Cambridge Academ Рейтинг: Цена: 17581.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the conference `Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Goedel`s Legacy`, held in Brno, Czech Republic, on the 90th anniversary of Goedel`s birth. The papers in this volume cover the wide range of topics Goedel`s work touched, and affirm its continuing importance.
Автор: Jackson, Howard Название: Words and their meaning ISBN: 1138413917 ISBN-13(EAN): 9781138413917 Издательство: Taylor&Francis Рейтинг: Цена: 29858.00 р. Наличие на складе: Нет в наличии.
Описание: An examination of the rise of the English dictionary, the kinds of dictionary available, the range of information they contain, factors affecting their usage and public attitudes towards them. The advantages of a thesaurus-like approach over the traditional format are discussed.
Автор: Watrous, John (university Of Waterloo, Ontario) Название: The theory of quantum information ISBN: 1107180562 ISBN-13(EAN): 9781107180567 Издательство: Cambridge Academ Рейтинг: Цена: 11563.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intended for graduate students and researchers, this book presents a formal development of the mathematical theory of quantum information. Largely self-contained, with clear proofs and a wide range of exercises, it will help the reader grasp the fundamental facts and techniques that form the mathematical foundations of the subject.
Автор: Iserles Название: Acta Numerica 2016 ISBN: 1107168058 ISBN-13(EAN): 9781107168053 Издательство: Cambridge Academ Рейтинг: Цена: 26136.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide state-of-the-art techniques and analysis.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
