Mathematics, Computer Science and Logic - A Never Ending Story, Peter Paule

Автор: Peter Paule
Название: Mathematics, Computer Science and Logic - A Never Ending Story
ISBN: 3319009656 ISBN-13(EAN): 9783319009650
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents four mathematical essays that explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. It details the state of the art as well as new ideas and directions.

Автор: Reghis
Название: Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
ISBN: 0849331978 ISBN-13(EAN): 9780849331978
Издательство: Taylor&Francis
Рейтинг:
Цена: 16843.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between classical and fuzzy mathematical logic, this book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.

Автор: Author Unknown
Название: COMPUTER SOLUTION OF LARGE LINEAR SYSTEMSSTUDIES IN MATHEMATICS A
ISBN: 044450169X ISBN-13(EAN): 9780444501691
Издательство: Elsevier Science
Рейтинг:
Цена: 20191.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A guide to numerical methods for solving large sparse linear systems of equations, in particular those arising from the discretization of partial differential equations. This text covers both direct and iterative methods, including Gaussian elimination and alternating directions algorithms.

Автор: Herman Geuvers; Matthew England; Osman Hasan; Flor
Название: Intelligent Computer Mathematics
ISBN: 3319620746 ISBN-13(EAN): 9783319620749
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning;

Автор: Ruyong Feng; Wen-shin Lee; Yosuke Sato
Название: Computer Mathematics
ISBN: 3662437988 ISBN-13(EAN): 9783662437988
Издательство: Springer
Рейтинг:
Цена: 16631.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers original research and the latest advances in symbolic, algebraic and geometric computation;

Автор: Ernst-Erich Doberkat
Название: Special Topics in Mathematics for Computer Scientists
ISBN: 3319368699 ISBN-13(EAN): 9783319368696
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems.

Автор: Ruyong Feng; Wen-shin Lee; Yosuke Sato
Название: Computer Mathematics
ISBN: 3662525402 ISBN-13(EAN): 9783662525401
Издательство: Springer
Рейтинг:
Цена: 16631.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers original research and the latest advances in symbolic, algebraic and geometric computation;

Автор: Hung T. Nguyen; V. Kreinovich
Название: Applications of Continuous Mathematics to Computer Science
ISBN: 9048149010 ISBN-13(EAN): 9789048149018
Издательство: Springer
Рейтинг:
Цена: 38433.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision.

Автор: Rafal Urbaniak
Название: Le?niewski`s Systems of Logic and Foundations of Mathematics
ISBN: 3319004816 ISBN-13(EAN): 9783319004815
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offering an expansive critical commentary, this meticulous assessment of the ground-breaking work of the philosopher Stanislaw Lesniewski focuses exclusively on primary texts and explores the full range of work by a master logician of the Lvov-Warsaw school.

Автор: Gordon J. Pace
Название: Mathematics of Discrete Structures for Computer Science
ISBN: 3642429882 ISBN-13(EAN): 9783642429880
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers the foundational mathematics necessary for courses in computer science.The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on these definitions develop ways of computing the result of applying the operators and prove them correct.

Автор: Bianca Falcidieno; Ivan Herman; Caterina Pienovi
Название: Computer Graphics and Mathematics
ISBN: 3642775888 ISBN-13(EAN): 9783642775888
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Since its very existence as a separate field within computerscience, computer graphics had to make extensive use ofnon-trivial mathematics, for example, projective geometry,solid modelling, and approximation theory.