Understand Mathematics, Understand Computing: Discrete Mathematics That All Computing Students Should Know, Rosenberg Arnold L., Trystram Denis
Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 11088.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
Описание: In this book the authors aim to endow the reader with an operational, conceptual, and methodological understanding of the discrete mathematics that can be used to study, understand, and perform computing.
Автор: Liao Heng Название: Mathematics for Future Computing and Communications ISBN: 1316513580 ISBN-13(EAN): 9781316513583 Издательство: Cambridge Academ Рейтинг: Цена: 8554.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: New mathematical ideas go hand-in-hand with innovation in computing, communications and AI. Such innovations are described here in a book that provides a panorama of ideas and applications in computer architecture, software verification, quantum computing, compressed sensing, Bayesian inference, machine learning, reinforcement learning and more.
Автор: Scherer Wolfgang Название: Mathematics of Quantum Computing: An Introduction ISBN: 303012360X ISBN-13(EAN): 9783030123604 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Introduction.- Basic Notions of Quantum Mechanics.- Tensor Products and Composite Systems.- Entanglement.- Quantum Gates and Circuits for Elementary Calculations.- On the Use of Entanglement.- Error Correction.- Adiabatic Quantum Computing.- Epilogue Appendices: A Elementary Probability Theory.- B Elementary Arithmetic Operations.- C LANDAU Symbols.- D Modular Arithmetic.- E Continued Fractions.- F Some Group Theory.- G Proof of a Quantum Adiabatic Theorem.- Solutions to Exercises.
Автор: DEXTER J. BOOTH Название: Foundation Discrete Mathematics for Computing ISBN: 0412562804 ISBN-13(EAN): 9780412562808 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book features selected papers from the 6th International Conference on Mathematics and Computing (ICMC 2020), organized by Sikkim University, Gangtok, Sikkim, India, during September 2020. It covers recent advances in the field of mathematics, statistics, and scientific computing.
Автор: Gerard O`Regan Название: Mathematics in Computing ISBN: 3030342085 ISBN-13(EAN): 9783030342081 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing applications enabled by seemingly abstract mathematical ideas, presented within their historical context. The text spans a broad selection of key topics, ranging from the use of finite field theory to correct code and the role of number theory in cryptography, to the value of graph theory when modelling networks and the importance of formal methods for safety critical systems.This fully updated new edition has been expanded with a more comprehensive treatment of algorithms, logic, automata theory, model checking, software reliability and dependability, algebra, sequences and series, and mathematical induction.Topics and features: includes numerous pedagogical features, such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; describes the historical contributions of such prominent figures as Leibniz, Babbage, Boole, and von Neumann; introduces the fundamental mathematical concepts of sets, relations and functions, along with the basics of number theory, algebra, algorithms, and matrices; explores arithmetic and geometric sequences and series, mathematical induction and recursion, graph theory, computability and decidability, and automata theory; reviews the core issues of coding theory, language theory, software engineering, and software reliability, as well as formal methods and model checking; covers key topics on logic, from ancient Greek contributions to modern applications in AI, and discusses the nature of mathematical proof and theorem proving; presents a short introduction to probability and statistics, complex numbers and quaternions, and calculus.This engaging and easy-to-understand book will appeal to students of computer science wishing for an overview of the mathematics used in computing, and to mathematicians curious about how their subject is applied in the field of computer science. The book will also capture the interest of the motivated general reader.
Описание: This book is a product of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) to be held in Langkawi in November 2017. It is divided into four sections according to the thrust areas: Computer Science, Mathematics, Statistics, and Multidisciplinary Applications. All sections sought to confront current issues that society faces today. The book brings collectively quantitative, as well as qualitative, research methods that are also suitable for future research undertakings. Researchers in Computer Science, Mathematics and Statistics can use this book as a sourcebook to enrich their research works.
Автор: Nelson H.F. Beebe Название: The Mathematical-Function Computation Handbook ISBN: 3319877259 ISBN-13(EAN): 9783319877259 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This highly comprehensive handbook provides a substantial advance in the computation of elementary and special functions of mathematics, extending the function coverage of major programming languages well beyond their international standards, including full support for decimal floating-point arithmetic.
Автор: Scherer, Wolfgang Название: Mathematics of quantum computing ISBN: 303012357X ISBN-13(EAN): 9783030123574 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It starts by introducing the basic mathematics required for quantum mechanics, and then goes on to present, in detail, the notions of quantum mechanics, entanglement, quantum gates, and quantum algorithms, of which Shor`s factorisation and Grover`s search algorithm are discussed extensively.
Автор: Krassimir Georgiev; Michail Todorov; Ivan Georgiev Название: Advanced Computing in Industrial Mathematics ISBN: 3319655299 ISBN-13(EAN): 9783319655291 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents recent research on Advanced Computing in Industrial Mathematics, which is one of the most prominent interdisciplinary areas, bringing together mathematics, computer science, scientific computations, engineering, physics, chemistry, medicine, etc.
Автор: Debasis Giri; Ram N. Mohapatra; Heinrich Begehr; M Название: Mathematics and Computing ISBN: 9811046417 ISBN-13(EAN): 9789811046414 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Conference on Mathematics and Computing, ICMC 2017, held in Haldia, India, in January 2017. The 35 papers presented in this volume were carefully reviewed and selected from 129 submissions. applied mathematics; and pure mathematics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
