People, Problems, and Proofs, Richard J. Lipton; Kenneth W. Regan

Автор: Oded Goldreich
Название: Modern Cryptography, Probabilistic Proofs and Pseudorandomness
ISBN: 364208432X ISBN-13(EAN): 9783642084324
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Jean-Christophe Filliatre; Christine Paulin-Mohrin
Название: Types for Proofs and Programs
ISBN: 3540314288 ISBN-13(EAN): 9783540314288
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Автор: Stefano Berardi; Ferruccio Damiani; Ugo de Liguoro
Название: Types for Proofs and Programs
ISBN: 3642024432 ISBN-13(EAN): 9783642024436
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy.

Автор: Fernando Ferreira; Benedikt L?we; Elvira Mayordomo
Название: Programs, Proofs, Processes
ISBN: 3642139612 ISBN-13(EAN): 9783642139611
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010.

Автор: Gordon Fraser; Angelo Gargantini
Название: Tests and Proofs
ISBN: 3642139760 ISBN-13(EAN): 9783642139765
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Aichernig
Название: Tests and Proofs
ISBN: 3319411349 ISBN-13(EAN): 9783319411347
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions.

Автор: Martina Seidl; Nikolai Tillmann
Название: Tests and Proofs
ISBN: 3319090984 ISBN-13(EAN): 9783319090986
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions.

Автор: Arie Hinkis
Название: Proofs of the Cantor-Bernstein Theorem
ISBN: 3034807880 ISBN-13(EAN): 9783034807883
Издательство: Springer
Рейтинг:
Цена: 88470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This `excursion` through the evolution of research mathematics takes in some 40 papers, published up to the 1970s, on proofs of the Cantor-Bernstein theorem. It provides a detailed example of proof-processing in the derivation of Bernstein`s division theorem.

Автор: Jasmin Christian Blanchette; Nikolai Kosmatov
Название: Tests and Proofs
ISBN: 3319212141 ISBN-13(EAN): 9783319212142
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Richard J. Lipton; Kenneth W. Regan
Название: People, Problems, and Proofs
ISBN: 3662523019 ISBN-13(EAN): 9783662523018
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Gilles Dowek
Название: Proofs and Algorithms: Introduction to Logic and Computability Theory
ISBN: 0857291203 ISBN-13(EAN): 9780857291202
Издательство: Springer
Рейтинг:
Цена: 32560.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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