Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Harald Niederreiter, Alina Ostafe, Daniel Panario, Название: Algebraic Curves and Finite Fields: Cryptography and Other Applications ISBN: 3110317885 ISBN-13(EAN): 9783110317886 Издательство: Walter de Gruyter Цена: 26024.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Algebra and number theory have always been counted among the most beautiful and fundamental mathematical areas with deep proofs and elegant results. However, for a long time they were not considered of any substantial importance for real-life applications. This has dramatically changed with the appearance of new topics such as modern cryptography, coding theory, and wireless communication. Nowadays we find applications of algebra and number theory frequently in our daily life. We mention security and error detection for internet banking, check digit systems and the bar code, GPS and radar systems, pricing options at a stock market, and noise suppression on mobile phones as most common examples. This book collects the results of the workshops "Applications of algebraic curves" and "Applications of finite fields" of the RICAM Special Semester 2013. These workshops brought together the most prominent researchers in the area of finite fields and their applications around the world. They address old and new problems on curves and other aspects of finite fields, with emphasis on their diverse applications to many areas of pure and applied mathematics.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
