Описание: This text focuses on three related areas in the theory of computation. The areas are modern cryptography, the study of probabilistic proof systems, and the theory of computational pseudorandomness. The common theme is the interplay between randomness and computation.
Описание: Cryptography is one of the most active areas in current mathematics research and applications. This book focuses on cryptography along with two related areas: the study of probabilistic proof systems, and the theory of computational pseudorandomness.
Автор: Thorsten Altenkirch; Wolfgang Naraschewski; Bernha Название: Types for Proofs and Programs ISBN: 3540665374 ISBN-13(EAN): 9783540665373 Издательство: Springer Рейтинг: Цена: 7317.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES `98. A variety of aspects of type theory and type systems and their relation to proof theory are addressed.
Автор: Lutz Pl?mer Название: Termination Proofs for Logic Programs ISBN: 3540528377 ISBN-13(EAN): 9783540528371 Издательство: Springer Рейтинг: Цена: 7317.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Termination proofs constitute a crucial part of program verification. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages.
Автор: Thierry Coquand; Peter Dybjer; Bengt Nordstr?m; Ja Название: Types for Proofs and Programs ISBN: 3540415173 ISBN-13(EAN): 9783540415176 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work constitutes the post-workshop proceedings of the Third International Workshop, TYPES`99, organized by the ESPRIT Working Group 21900, in Lokeberg, Sweden, in June 1999. Issues on type theory and type systems and their applications to programming and proof theory are addressed.
Автор: Richard J. Lipton; Kenneth W. Regan Название: People, Problems, and Proofs ISBN: 3662523019 ISBN-13(EAN): 9783662523018 Издательство: Springer Рейтинг: Цена: 5487.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers insights into theoretical computer science and mathematics, distilling complex topics into manageable essays that summarize and explain key developments, historical context, and future directions of complexity, computability and algorithms.
Автор: Thorsten Altenkirch; Conor McBride Название: Types for Proofs and Programs ISBN: 3540744630 ISBN-13(EAN): 9783540744634 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006. This book presents 17 revised full papers that were reviewed and selected from 29 submissions.
Описание: Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, G?del’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
Описание: 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.
Автор: Gordon Fraser; Angelo Gargantini Название: Tests and Proofs ISBN: 3642139760 ISBN-13(EAN): 9783642139765 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously.
Автор: Catherine Dubois Название: Tests and Proofs ISBN: 3642029485 ISBN-13(EAN): 9783642029486 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009.
Автор: Jasmin Christian Blanchette; Nikolai Kosmatov Название: Tests and Proofs ISBN: 3319212141 ISBN-13(EAN): 9783319212142 Издательство: Springer Рейтинг: Цена: 5854.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
