Computer Science Logic, Georg Gottlob; Etienne Grandjean; Katrin Seyr
Автор: Mauricio Ayala Rincon Название: Applied logic for computer scientists. Computational Deduction and formal Proofs ISBN: 3319516515 ISBN-13(EAN): 9783319516516 Издательство: Springer Рейтинг: Цена: 41920.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 97820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Lu Zhongwan Название: Mathematical Logic For Computer Science (2Nd Edition) ISBN: 9810230915 ISBN-13(EAN): 9789810230913 Издательство: World Scientific Publishing Рейтинг: Цена: 72870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Reghis Название: Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version ISBN: 0849331978 ISBN-13(EAN): 9780849331978 Издательство: Taylor&Francis Рейтинг: Цена: 112290.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 265410.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Peter Paule Название: Mathematics, Computer Science and Logic - A Never Ending Story ISBN: 3319346822 ISBN-13(EAN): 9783319346823 Издательство: Springer Рейтинг: Цена: 88500.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Epstein Название: Multiple-Valued Logic Design ISBN: 0750302100 ISBN-13(EAN): 9780750302104 Издательство: Taylor&Francis Рейтинг: Цена: 377690.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Clifford H. Bergman; Roger D. Maddux; Don L. Pigoz Название: Algebraic Logic and Universal Algebra in Computer Science ISBN: 0387972889 ISBN-13(EAN): 9780387972886 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Erich Gr?del; Reinhard Kahle Название: Computer Science Logic ISBN: 3642040268 ISBN-13(EAN): 9783642040269 Издательство: Springer Рейтинг: Цена: 97820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz