Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford

Автор: Arie Hinkis
Название: Proofs of the Cantor-Bernstein Theorem
ISBN: 3034807880 ISBN-13(EAN): 9783034807883
Издательство: Springer
Рейтинг:
Цена: 13270.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Matt Kaufmann; Lawrence C. Paulson
Название: Interactive Theorem Proving
ISBN: 3642140513 ISBN-13(EAN): 9783642140518
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.

Автор: Monty Newborn
Название: Automated Theorem Proving
ISBN: 1461265193 ISBN-13(EAN): 9781461265191
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving.

Автор: Pierangelo Miglioli; Ugo Moscato; Daniele Mundici;
Название: Theorem Proving with Analytic Tableaux and Related Methods
ISBN: 3540612084 ISBN-13(EAN): 9783540612087
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the book also contains several papers dealing with other approaches to automated reasoning.

Автор: E. Thomas Schubert; Phillip J. Windley; James Alve
Название: Higher Order Logic Theorem Proving and Its Applications
ISBN: 3540602755 ISBN-13(EAN): 9783540602750
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this collection document the advances in the field, and fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

Автор: Peter Baumgartner; Reiner H?hnle; Joachim Posegga
Название: Theorem Proving with Analytic Tableaux and Related Methods
ISBN: 3540593381 ISBN-13(EAN): 9783540593386
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU `95, held at Schlos Rheinfels, St Goar, Germany in May 1995. This book includes sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, linear logic, and applications.

Автор: Thomas F. Melham; Juanito Camilleri
Название: Higher Order Logic Theorem Proving and Its Applications
ISBN: 3540584501 ISBN-13(EAN): 9783540584506
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of a workshop on the subject, held in Malta in 1994. Along with a number of papers on the design and applications of theorem-provers, there is a report on the applications of the higher order logic (HOL) system.

Автор: Wen-ts?n Wu; X. Jin; D. Wang
Название: Mechanical Theorem Proving in Geometries
ISBN: 3211825061 ISBN-13(EAN): 9783211825068
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: " Dur- ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid`s "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita- tive relations, as to establish the axiom system of geometry.

Автор: Berto
Название: There`s Something About Godel - The Complete Guide to the Incompleteness Theorem
ISBN: 1405197668 ISBN-13(EAN): 9781405197663
Издательство: Wiley
Рейтинг:
Цена: 13456.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: There`s Something About Godel is a lucid and accessible guide to Godel`s revolutionary Incompleteness Theorem , considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem.

Автор: Heck Richard G
Название: Frege`s Theorem
ISBN: 019870898X ISBN-13(EAN): 9780198708988
Издательство: Oxford Academ
Рейтинг:
Цена: 3879.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Richard Heck explores a key idea in the work of the great philosopher/logician Gottlob Frege: that the axioms of arithmetic can be logically derived from a single principle. Heck uses the theorem to explore historical, philosophical, and technical issues in philosophy of mathematics and logic, relating them to key areas of contemporary philosophy.