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
Рейтинг:
Цена: 73920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Rosenberg Arnold L., Trystram Denis
Название: Understand Mathematics, Understand Computing: Discrete Mathematics That All Computing Students Should Know
ISBN: 3030583783 ISBN-13(EAN): 9783030583781
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 57030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

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
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Giri Debasis, Buyya Rajkumar, Ponnusamy S.
Название: Proceedings of the Sixth International Conference on Mathematics and Computing: ICMC 2020
ISBN: 981158060X ISBN-13(EAN): 9789811580604
Издательство: Springer
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Liew-Kee Kor; Abd-Razak Ahmad; Zanariah Idrus; Kam
Название: Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017)
ISBN: 9811372780 ISBN-13(EAN): 9789811372780
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: S. Barry Cooper, Andrew Hodges
Название: The Once and Future Turing: Computing the World
ISBN: 0521282500 ISBN-13(EAN): 9780521282505
Издательство: Cambridge Academ
Цена: 26390.00 T
Наличие на складе: Невозможна поставка.
Описание: Alan Turing made a seminal contribution to logic, computation, computer science, artificial intelligence, cryptography and theoretical biology. The articles here, by outstanding writers and thinkers, reflect on these contributions, how the subjects have developed since then, and how they might develop still further. Five themes are explored: language, universality and computation; computing and the brain; computing life and morphogenesis; quantum computing; and the challenge of incomputability. These essays will provoke and engross the reader who wishes to understand better the lasting significance of one of the twentieth century's deepest thinkers.

Автор: Krassimir Georgiev; Michail Todorov; Ivan Georgiev
Название: Advanced Computing in Industrial Mathematics
ISBN: 3319655299 ISBN-13(EAN): 9783319655291
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.