Many-Valued Logics 1, Leonard Bolc; Piotr Borowik

Автор: Epstein
Название: Multiple-Valued Logic Design
ISBN: 0750302100 ISBN-13(EAN): 9780750302104
Издательство: Taylor&Francis
Рейтинг:
Цена: 56654.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Explains the theory and applications of multiple-valued logic and logic design. This book offers introductory knowledge in Boolean algebra, 2-valued logic, or 2-valued switching theory. It is suitable for computer scientists, mathematicians, and electronic engineers.

Автор: Andranik Tangian; Josef Gruber
Название: Constructing Scalar-Valued Objective Functions
ISBN: 3540630619 ISBN-13(EAN): 9783540630616
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A discussion of constructing scalar-valued objective functions. Topics covered include axiomatic foundations, the practical construction of objective functions, and welfare functions and consumer demand.

Автор: Christoph Glocker
Название: Set-Valued Force Laws
ISBN: 364253595X ISBN-13(EAN): 9783642535956
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: As one of the oldest natural sciences, mechanics occupies a certain pioneering role in determining the development of exact sciences through its interaction with mathematics. Mechanics, as it is talked about here, tradition- ally includes a wide spectrum, ranging from applied mechanics, analytical and technical mechanics to modeling.

Автор: Dyn Nira Et Al
Название: Approximation Of Set-Valued Functions: Adaptation Of Classical Approximation Operators
ISBN: 1783263024 ISBN-13(EAN): 9781783263028
Издательство: World Scientific Publishing
Рейтинг:
Цена: 11246.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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.

Автор: Yves Bertot; Gilles Dowek; Andre Hirschowitz; Chri
Название: Theorem Proving in Higher Order Logics
ISBN: 3540664637 ISBN-13(EAN): 9783540664635
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs `99, held in Nice, France, in September 1999. Among the theorem provers evaluated in these 20 revised papers are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath.

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