Theorem Proving in Higher Order Logics, Yves Bertot; Gilles Dowek; Andre Hirschowitz; Chri
Автор: David A. Plaisted; Wolfgang Bibel; Yunshan Zhu; Ru Название: The Efficiency of Theorem Proving Strategies ISBN: 3528155744 ISBN-13(EAN): 9783528155742 Издательство: Springer Рейтинг: Цена: 9362.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies.
Автор: Patrascu Название: The Universal Coefficient Theorem and Quantum Field Theory ISBN: 3319461427 ISBN-13(EAN): 9783319461427 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This thesis describes a new connection between algebraic geometry, topology, number theory and quantum field theory. It offers a pedagogical introduction to algebraic topology, allowing readers to rapidly develop basic skills, and it also presents original ideas to inspire new research in the quest for dualities. Its ambitious goal is to construct a method based on the universal coefficient theorem for identifying new dualities connecting different domains of quantum field theory. This thesis opens a new area of research in the domain of non-perturbative physics—one in which the use of different coefficient structures in (co)homology may lead to previously unknown connections between different regimes of quantum field theories. The origin of dualities is an issue in fundamental physics that continues to puzzle the research community with unexpected results like the AdS/CFT duality or the ER-EPR conjecture. This thesis analyzes these observations from a novel and original point of view, mainly based on a fundamental connection between number theory and topology. Beyond its scientific qualities, it also offers a pedagogical introduction to advanced mathematics and its connection with physics. This makes it a valuable resource for students in mathematical physics and researchers wanting to gain insights into (co)homology theories with coefficients or the way in which Grothendieck's work may be connected with physics.
Автор: David Pearce; Heinrich Wansing Название: Nonclassical Logics and Information Processing ISBN: 3540557458 ISBN-13(EAN): 9783540557456 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory.
Автор: Leslie F. Sikos Название: Description Logics in Multimedia Reasoning ISBN: 3319540653 ISBN-13(EAN): 9783319540658 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It draws attention to the importance of formal grounding in the knowledge representation of multimedia objects, the potential of multimedia reasoning in intelligent multimedia applications, and presents both theoretical discussions and best practices in multimedia ontology engineering.
Автор: Leonard Bolc; Piotr Borowik Название: Many-Valued Logics 1 ISBN: 3540559264 ISBN-13(EAN): 9783540559269 Издательство: Springer Рейтинг: Цена: 20263.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Deals with finite-valued logics, and especially with three-valued logical calculi. This title discusses matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology. It includes chapters that deal with intuitionistic logic, fuzzy logics, approximation logics, and probability logics.
Автор: Jacod Jean, Shiryaev Albert N. Название: Limit Theorems for Stochastic Processes ISBN: 3540439323 ISBN-13(EAN): 9783540439325 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Initially the theory of convergence in law of stochastic processes was developed quite independently from the theory of martingales, semimartingales and stochastic integrals. Apart from a few exceptions essentially concerning diffusion processes, it is only recently that the relation between the two theories has been thoroughly studied. The authors of this Grundlehren volume, two of the international leaders in the field, propose a systematic exposition of convergence in law for stochastic processes, from the point of view of semimartingale theory, with emphasis on results that are useful for mathematical theory and mathematical statistics. This leads them to develop in detail some particularly useful parts of the general theory of stochastic processes, such as martingale problems, and absolute continuity or contiguity results. The book contains an introduction to the theory of martingales and semimartingales, random measures stochastic integrales, Skorokhod topology, etc., as well as a large number of results which have never appeared in book form, and some entirely new results. The second edition contains some additions to the text and references. Some parts are completely rewritten.
Описание: This monograph deals with the analysis of some formal problems involving operators in Euclidean spaces and their applications to economic modelling. It contains a set of results on the solvability of complementarity problems and variational inequalities.
Автор: Wang Qiying Название: Limit Theorems For Nonlinear Cointegrating Regression ISBN: 9814675628 ISBN-13(EAN): 9789814675628 Издательство: World Scientific Publishing Рейтинг: Цена: 15523.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides the limit theorems that can be used in the development of nonlinear cointegrating regression.
