R-Calculus, II: Many-Valued Logics, Li Wei, Sui Yuefei
Автор: Barwise Название: Model-Theoretic Logics ISBN: 1107168252 ISBN-13(EAN): 9781107168251 Издательство: Cambridge Academ Рейтинг: Цена: 30096.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this volume the authors bring together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers on advanced topics in model theory. Many chapters can be read independently.
Автор: 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.
Автор: Leonard Bolc; Piotr Borowik Название: Many-Valued Logics 2 ISBN: 3642084176 ISBN-13(EAN): 9783642084171 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many-valued logics are becoming increasingly important in all areas of computer science. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory.
Автор: Leonard Bolc; Piotr Borowik Название: Many-Valued Logics 1 ISBN: 3642081452 ISBN-13(EAN): 9783642081453 Издательство: Springer Рейтинг: Цена: 20263.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. Fuzzy logics,approximation logics, and probability logics all addressquestions that classical logic alone cannot answer.
Автор: Li, Haitao (shandong Normal University) Zhao, Guod Название: Analysis and control of finite-valued systems ISBN: 1138556505 ISBN-13(EAN): 9781138556508 Издательство: Taylor&Francis Рейтинг: Цена: 27562.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems. The book contains examples to provide a better understanding of the practical applications of finite-value systems.
Описание: The results presented here (including the assessment of a new tool - inhibitory trees) offer valuable tools for researchers in the areas of data mining, knowledge discovery, and machine learning, especially those whose work involves decision tables with many-valued decisions.
Автор: Klaus Schneider; Jens Brandt Название: Theorem Proving in Higher Order Logics ISBN: 3540745904 ISBN-13(EAN): 9783540745907 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, in September 2007. This book presents 21 revised full papers together with 5 proof pearls and the abstracts of 3 invited papers that were reviewed and selected from 52 submissions.
Описание: This book introduces an approach that can be used to ground a variety of intelligent systems, ranging from simple fact based systems to highly sophisticated reasoning systems. As the popularity of AI related fields has grown over the last decade, the number of persons interested in building intelligent systems has increased exponentially.
Описание: The results presented here (including the assessment of a new tool – inhibitory trees) offer valuable tools for researchers in the areas of data mining, knowledge discovery, and machine learning, especially those whose work involves decision tables with many-valued decisions. The authors consider various examples of problems and corresponding decision tables with many-valued decisions, discuss the difference between decision and inhibitory trees and rules, and develop tools for their analysis and design. Applications include the study of totally optimal (optimal in relation to a number of criteria simultaneously) decision and inhibitory trees and rules; the comparison of greedy heuristics for tree and rule construction as single-criterion and bi-criteria optimization algorithms; and the development of a restricted multi-pruning approach used in classification and knowledge representation.
Автор: R.L. Cignoli; Itala M. d`Ottaviano; Daniele Mundic Название: Algebraic Foundations of Many-Valued Reasoning ISBN: 9048153360 ISBN-13(EAN): 9789048153367 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Johan van Benthem; Gerhard Heinzmann; Manuel Rebus Название: The Age of Alternative Logics ISBN: 9048124859 ISBN-13(EAN): 9789048124855 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from scholars on the trends and possible developments for research.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
