Автор: 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.
Описание: 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.
Автор: R.L. Cignoli; Itala M. d`Ottaviano; Daniele Mundic Название: Algebraic Foundations of Many-Valued Reasoning ISBN: 9048153360 ISBN-13(EAN): 9789048153367 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
Автор: T. Atanassov Название: Intuitionistic Fuzzy Logics ISBN: 3319489526 ISBN-13(EAN): 9783319489520 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.
Автор: Appel Название: Program Logics for Certified Compilers ISBN: 110704801X ISBN-13(EAN): 9781107048010 Издательство: Cambridge Academ Рейтинг: Цена: 13147.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.
Автор: Loizos Michael; Antonis Kakas Название: Logics in Artificial Intelligence ISBN: 3319487574 ISBN-13(EAN): 9783319487571 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.
Автор: Dov M. Gabbay; Karl Schlechta Название: A New Perspective on Nonmonotonic Logics ISBN: 3319468154 ISBN-13(EAN): 9783319468150 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.It is suitable for researchers in the area of computer science and mathematical logic.
Название: Logics in Computer Science ISBN: 9491216945 ISBN-13(EAN): 9789491216947 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
Автор: Pitts Название: Semantics and Logics of Computation ISBN: 0521580579 ISBN-13(EAN): 9780521580571 Издательство: Cambridge Academ Рейтинг: Цена: 19800.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. They have been edited to form a coherent introduction to these topics.
Автор: 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.
Автор: 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
