Proofs of the Cantor-Bernstein Theorem, Arie Hinkis

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

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

Автор: Steven G. Krantz; Harold R. Parks
Название: The Implicit Function Theorem
ISBN: 146145980X ISBN-13(EAN): 9781461459804
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: First published in 2003, this is an accessible and thorough treatment of implicit and inverse function theorems and their applications. The book documents and places in context a substantial body of concepts that have played an role in modern mathematics.

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

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

Автор: David M. Sandford
Название: Using Sophisticated Models in Resolution Theorem Proving
ISBN: 3540102310 ISBN-13(EAN): 9783540102311
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Hans Fischer
Название: A History of the Central Limit Theorem
ISBN: 1461427010 ISBN-13(EAN): 9781461427018
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This study discusses the history of the central limit theorem and related probabilistic limit theorems from about 1810 through 1950. Coverage extends to the historical development of analytical probability theory and its tools.

Автор: Watson
Название: Complex Integration and Cauchy`s Theorem
ISBN: 1107493951 ISBN-13(EAN): 9781107493957
Издательство: Cambridge Academ
Рейтинг:
Цена: 3008.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Originally published in 1914 as number fifteen in the Cambridge Tracts in Mathematics and Mathematical Physics series, this book provides a concise proof of Cauchy`s Theorem, along with some applications of the theorem to the evaluation of definite integrals.

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

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

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