Structures in Logic and Computer Science, Jan Mycielski; Grzegorz Rozenberg; Arto Salomaa

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

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

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

Автор: Chubb
Название: Logic and Algebraic Structures in Quantum Computing
ISBN: 110703339X ISBN-13(EAN): 9781107033399
Издательство: Cambridge Academ
Рейтинг:
Цена: 21226.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this international cross-disciplinary collaboration, leading experts explore connections across their respective fields. The book offers an insight into the fundamental questions in quantum theory and logic, which will appeal to many researchers and graduate students including logicians, mathematicians, computer scientists, and physicists.

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

Автор: Michael Kaminski; Simone Martini
Название: Computer Science Logic
ISBN: 3540875301 ISBN-13(EAN): 9783540875307
Издательство: Springer
Рейтинг:
Цена: 13974.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
Рейтинг:
Цена: 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.

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