Описание: 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.
Автор: Jacques Duparc; Thomas A. Henzinger Название: Computer Science Logic ISBN: 3540749144 ISBN-13(EAN): 9783540749141 Издательство: Springer Рейтинг: Цена: 12805.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland, in September 2007. This book contains sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, and finite model theory.
Автор: Michael Kaminski; Simone Martini Название: Computer Science Logic ISBN: 3540875301 ISBN-13(EAN): 9783540875307 Издательство: Springer Рейтинг: Цена: 12196.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers the proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. This book addresses various aspects of logic in computer science, ranging from foundational and methodological issues to application issues of practical relevance.
Автор: Erich Gr?del; Reinhard Kahle Название: Computer Science Logic ISBN: 3642040268 ISBN-13(EAN): 9783642040269 Издательство: Springer Рейтинг: Цена: 12805.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL.
Автор: Lu Zhongwan Название: Mathematical Logic For Computer Science (2Nd Edition) ISBN: 9810230915 ISBN-13(EAN): 9789810230913 Издательство: World Scientific Publishing Рейтинг: Цена: 10930.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.
Описание: 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.
Автор: Kueker Название: Mathematical Logic and Theoretical Computer Science ISBN: 0824777468 ISBN-13(EAN): 9780824777463 Издательство: Taylor&Francis Рейтинг: Цена: 43639.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.
Автор: Epstein Название: Multiple-Valued Logic Design ISBN: 0750302100 ISBN-13(EAN): 9780750302104 Издательство: Taylor&Francis Рейтинг: Цена: 59717.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Explains the theory and applications of multiple-valued logic and logic design. This book offers introductory knowledge in Boolean algebra, 2-valued logic, or 2-valued switching theory. It is suitable for computer scientists, mathematicians, and electronic engineers.
Описание: 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.
Автор: Clifford H. Bergman; Roger D. Maddux; Don L. Pigoz Название: Algebraic Logic and Universal Algebra in Computer Science ISBN: 0387972889 ISBN-13(EAN): 9780387972886 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.
Автор: Steven Homer; Piergiorgio Odifreddi; Anil Nerode; Название: Logic and Computer Science ISBN: 3540527346 ISBN-13(EAN): 9783540527343 Издательство: Springer Рейтинг: Цена: 3043.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
