Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.
Автор: Serge Autexier; John Campbell; Julio Rubio; Volker Название: Intelligent Computer Mathematics ISBN: 3540851097 ISBN-13(EAN): 9783540851097 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the joint proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK.
Автор: 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.
Автор: Stephen M. Watt; Alan Sexton; James H. Davenport; Название: Intelligent Computer Mathematics ISBN: 331908433X ISBN-13(EAN): 9783319084336 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics.
Описание: 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.
Автор: Cooke Название: Computer Mathematics ISBN: 0521273242 ISBN-13(EAN): 9780521273244 Издательство: Cambridge Academ Рейтинг: Цена: 5386.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computer Mathematics will be of interest to undergraduate students of computer science and mathematics, post-graduate computing `conversion` course students and computer professionals who need an introduction to the mathematics that underpins computer science theory.
Автор: Brigitte Chauvin; Philippe Flajolet; Daniele Gardy Название: Mathematics and Computer Science II ISBN: 3764369337 ISBN-13(EAN): 9783764369330 Издательство: Springer Рейтинг: Цена: 18161.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The International Colloquium on Mathematics and Computer Science is a biennial event that first took place at the University of Versailles-St-Quentin in 2000 and was acknowledged a success. The second colloquium was held in September 16-19, 2002, again in Versailles. This book gathers the second colloquium proceedings.
Описание: 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.
Автор: 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;
Автор: Manfred Kerber; Jacques Carette; Cezary Kaliszyk; Название: Intelligent Computer Mathematics ISBN: 3319206141 ISBN-13(EAN): 9783319206141 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions.
Описание: The objective of the conference upon which this volume is based was to bring together a number of the world`s leading specialists in information technology to present the state of the art and a prospective view of future research. Among the topics covered are scientific computing and robotics.
Автор: Hung T. Nguyen; V. Kreinovich Название: Applications of Continuous Mathematics to Computer Science ISBN: 0792347226 ISBN-13(EAN): 9780792347224 Издательство: Springer Рейтинг: Цена: 38433.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intended to be used as a textbook for a special topic course in computer science. This title addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision. It focuses on the role of continuous mathematics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
