Computer Science Logic, Michael Kaminski; Simone Martini

Автор: Jacques Duparc; Thomas A. Henzinger
Название: Computer Science Logic
ISBN: 3540749144 ISBN-13(EAN): 9783540749141
Издательство: Springer
Рейтинг:
Цена: 14673.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.

Автор: 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.

Автор: Kueker
Название: Mathematical Logic and Theoretical Computer Science
ISBN: 0824777468 ISBN-13(EAN): 9780824777463
Издательство: Taylor&Francis
Рейтинг:
Цена: 39811.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
Рейтинг:
Цена: 56654.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.

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: J.-J. Ch. Meyer, W. van der Hoek
Название: Epistemic Logic for AI and Computer Science
ISBN: 0521602807 ISBN-13(EAN): 9780521602808
Издательство: Cambridge Academ
Рейтинг:
Цена: 9186.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.

Автор: Erich Gr?del; Reinhard Kahle
Название: Computer Science Logic
ISBN: 3642040268 ISBN-13(EAN): 9783642040269
Издательство: Springer
Рейтинг:
Цена: 14673.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.