Описание: 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.
Автор: Heinrich Wansing Название: Dag Prawitz on Proofs and Meaning ISBN: 3319360310 ISBN-13(EAN): 9783319360317 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Prawitz`s eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics.
Автор: Bernhard Beckert; Reiner H?hnle Название: Tests and Proofs ISBN: 354079123X ISBN-13(EAN): 9783540791232 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.
Автор: Richard J. Lipton; Kenneth W. Regan Название: People, Problems, and Proofs ISBN: 3662523019 ISBN-13(EAN): 9783662523018 Издательство: Springer Рейтинг: Цена: 6288.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.
Автор: Lutz Pl?mer Название: Termination Proofs for Logic Programs ISBN: 3540528377 ISBN-13(EAN): 9783540528371 Издательство: Springer Рейтинг: Цена: 8384.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.
Автор: D. Bonnette Название: Aquinas` Proofs for God`s Existence ISBN: 902471303X ISBN-13(EAN): 9789024713035 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The purpose of this study is to investigate the legitimacy of the principle, "The per accidens necessarily implies the per se," as it is found in the writings of St. Thomas Aquinas.
Автор: Sylvie, Boldo Название: Computer arithmetic and Formal Proofs ISBN: 1785481126 ISBN-13(EAN): 9781785481123 Издательство: Elsevier Science Рейтинг: Цена: 22570.00 р. Наличие на складе: Поставка под заказ.
Описание:
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs.
This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.
Описание: 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.
Автор: Stefano Berardi; Ferruccio Damiani; Ugo de Liguoro Название: Types for Proofs and Programs ISBN: 3642024432 ISBN-13(EAN): 9783642024436 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Larry J. Gerstein Название: Introduction to Mathematical Structures and Proofs ISBN: 1493951467 ISBN-13(EAN): 9781493951468 Издательство: Springer Рейтинг: Цена: 6282.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This updated and revised second edition is designed to help students advance from basic calculus to higher-level linear and abstract algebra and number theory. It introduces an array of fundamental structures and shows how to balance intuition and rigor.
Автор: Jean Mermet Название: VHDL for Simulation, Synthesis and Formal Proofs of Hardware ISBN: 0792392531 ISBN-13(EAN): 9780792392538 Издательство: Springer Рейтинг: Цена: 32004.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents recent research on four key issues related to the use of VHDL as a standard for hardware description: simulation of circuits using VHDL; the combination of synthesis and VHDL in designing circuits; the formal verification of VHDL designs; and modelling issues and system level design.
Автор: Bachmair Название: Canonical Equational Proofs ISBN: 0817635556 ISBN-13(EAN): 9780817635558 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
