The Art of Proving Binomial Identities, Michael Z. Spivey

Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M
Название: Interactive Theorem Proving and Program Development
ISBN: 3642058809 ISBN-13(EAN): 9783642058806
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Автор: Melvin Fitting
Название: First-Order Logic and Automated Theorem Proving
ISBN: 1461275156 ISBN-13(EAN): 9781461275152
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

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

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

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

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

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

Автор: Andreas J. Stylianides; Guershon Harel
Название: Advances in Mathematics Education Research on Proof and Proving
ISBN: 3319890255 ISBN-13(EAN): 9783319890258
Издательство: Springer
Рейтинг:
Цена: 149060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores new trends and developments in mathematics education research related to proof and proving, the implications of these trends and developments for theory and practice, and directions for future research. With contributions from researchers working in twelve different countries, the book brings also an international perspective to the discussion and debate of the state of the art in this important area. The book is organized around the following four themes, which reflect the breadth of issues addressed in the book: • Theme 1: Epistemological issues related to proof and proving; • Theme 2: Classroom-based issues related to proof and proving; • Theme 3: Cognitive and curricular issues related to proof and proving; and • Theme 4: Issues related to the use of examples in proof and proving. Under each theme there are four main chapters and a concluding chapter offering a commentary on the theme overall.

Автор: J?rgen Herzog; Takayuki Hibi; Hidefumi Ohsugi
Название: Binomial Ideals
ISBN: 3030070190 ISBN-13(EAN): 9783030070199
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Chapters in the remainder of the text can be read independently and explore specific aspects of the theory of binomial ideals, including edge rings and edge polytopes, join-meet ideals of finite lattices, binomial edge ideals, ideals generated by 2-minors, and binomial ideals arising from statistics.

Автор: Monty Newborn
Название: Automated Theorem Proving
ISBN: 1461265193 ISBN-13(EAN): 9781461265191
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.