Computational Logic, Ulrich Berger; Helmut Schwichtenberg

Автор: Arora, Sanjeev Barak, Boaz
Название: Computational complexity
ISBN: 0521424267 ISBN-13(EAN): 9780521424264
Издательство: Cambridge Academ
Рейтинг:
Цена: 60190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes recent achievements and classical results of computational complexity theory, including interactive proofs, PCP, derandomization, and quantum computation. It can be used as a reference, for self-study, or as a beginning graduate textbook. More than 300 exercises are included.

Автор: Jacob T. Schwartz; Domenico Cantone; Eugenio G. Om
Название: Computational Logic and Set Theory
ISBN: 1447160185 ISBN-13(EAN): 9781447160182
Издательство: Springer
Рейтинг:
Цена: 65170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This must-read text presents the late Professor Jacob T. Schwartz`s work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.

Автор: Oded Goldreich
Название: Computational complexity
ISBN: 052188473X ISBN-13(EAN): 9780521884730
Издательство: Cambridge Academ
Рейтинг:
Цена: 78150.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A conceptual introduction to the study of the intrinsic complexity of computational tasks. It will serve advanced undergraduate and graduate students, either as a textbook or for self-study. It provides explanations of the various sub-areas of complexity theory such as hardness amplification, pseudorandomness, and probabilistic proof systems.

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

Автор: de Berg
Название: Computational Geometry
ISBN: 3540779736 ISBN-13(EAN): 9783540779735
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to provide solutions that are both efficient and easy to understand and implement.

Автор: Nils Bulling; Leendert van der Torre; Serena Villa
Название: Computational Logic in Multi-Agent Systems
ISBN: 3319097636 ISBN-13(EAN): 9783319097633
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions.

Автор: Georg Gottlob; Alexander Leitsch; Daniele Mundici
Название: Computational Logic and Proof Theory
ISBN: 3540571841 ISBN-13(EAN): 9783540571841
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Third Kurt G|del Symposium, KGC`93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science.

Автор: Georg Gottlob; Alexander Leitsch; Daniele Mundici
Название: Computational Logic and Proof Theory
ISBN: 3540633855 ISBN-13(EAN): 9783540633853
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the Fifth Kurt Godel Colloquium on Computational Logic and Proof Theory, KGC `97. This volume documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Автор: J.W. Lloyd
Название: Computational Logic
ISBN: 364276276X ISBN-13(EAN): 9783642762765
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology.

Автор: Jo?o Leite; Tran Cao Son; Paolo Torroni; Leon van
Название: Computational Logic in Multi-Agent Systems
ISBN: 3642406238 ISBN-13(EAN): 9783642406232
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013.

Автор: Luke Ong
Название: Foundations of Software Science and Computational Structures
ISBN: 3642120318 ISBN-13(EAN): 9783642120312
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Автор: Ulrich Berger; Helmut Schwichtenberg
Название: Computational Logic
ISBN: 3540645896 ISBN-13(EAN): 9783540645894
Издательство: Springer
Рейтинг:
Цена: 222670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An introduction to the interplay of mathematical logic and computer science, containing lectures given at the 1997 Marktoberdorf Summer School. Topics covered include: proof theory and specification of computation; constructive type theory; computational mathematics; and rewriting logic.