Автор: Cignoli Название: Algebraic Foundations of Many-Valued Reasoning ISBN: 0792360095 ISBN-13(EAN): 9780792360094 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: States and proves various theorems of many-valued propositional logic. This text provides developments and trends, including applications to adaptive error-correcting binary search. It contains material, such as a simple proof of completeness theorem and of the equivalence between Chang`s MV algebras and Abelian lattice-ordered groups with unit.
Описание: This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory.
This book is aimed at the approximation of set-valued functions with compact sets in an Euclidean space as values. The interest in set-valued functions is rather new. Such functions arise in various modern areas such as control theory, dynamical systems and optimization. The authors' motivation also comes from the newer field of geometric modeling, in particular from the problem of reconstruction of 3D objects from 2D cross-sections. This is reflected in the focus of this book, which is the approximation of set-valued functions with general (not necessarily convex) sets as values, while previous results on this topic are mainly confined to the convex case. The approach taken in this book is to adapt classical approximation operators and to provide error estimates in terms of the regularity properties of the approximated set-valued functions. Specialized results are given for functions with 1D sets as values.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
