Kontakt
Jak nakupovat
Doručení
Nákupní rádce
Scheme-based Theorem Discovery and Concept Invention
Rewriting theory-exploration
Angličtina
126 b
Až 30 dní na vrácení zboží
Zákazníci také koupili
/
Brožovaná
1 029
Kč
/
Brožovaná
518
Kč
/
Brožovaná
1 817
Kč
/
Brožovaná
1 719
Kč
This book describes an approach to automatically invent/explore new mathematical theories, with the goal of producing results comparable to those produced by humans, as represented, for example, in the libraries of proof assistants. The approach described is based on schemes, which are formulae in higher-order logic. It shows that it is possible to automate the instantiation process of schemes to generate conjectures and definitions. It also shows how the new definitions and the lemmata discovered during the exploration of a theory can be used, not only to help with the proof obligations during the exploration, but also to reduce redundancies inherent in most theory-formation systems. It describes how to exploit associative-commutative (AC) operators using ordered rewriting to avoid AC variations of the same instantiation. All ideas contained in this book are implemented in an automated tool, called IsaScheme, which employs Knuth-Bendix completion and recent automatic inductive proof methods. This systematic and comprehensive introduction to the scheme-based theory exploration will be welcome by researchers and graduate students alike.
Informace o knize
Angličtina
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovanéhoMohlo by vás také zajímat
/
Pevná
619
Kč
/
Brožovaná
728
Kč
/
Brožovaná
1 986
Kč
Ahoj! Jsem Libroamiko, tvůj knižní rádce.
Jak ti můžu pomoct?