Описание: This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises.Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.
Автор: Edited by Maria Cristina Pedicchio Название: Categorical Foundations ISBN: 0521834147 ISBN-13(EAN): 9780521834148 Издательство: Cambridge Academ Рейтинг: Цена: 13574 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book offers categorical introductions to order, topology, algebra and sheaf theory, suitable for graduate students, teachers and researchers of pure
mathematics. Readers familiar with the very basic notions of category theory will learn about the main tools that are used in modern categorical mathematics but are not readily available
in the literature. Hence, in eight rather independent chapters the reader will encounter various ways of how to study 'spaces': order-theoretically via their open-set lattices, as objects of
a fairly abstract category merely via their interaction with other objects, or via their topoi of set-valued sheaves.
Likewise, 'algebras' are treated both as models for Lawvere's
algebraic theories and as Eilenberg-Moore algebras for monads, but they appear also as the objects of an abstract category with various levels of 'exactness' conditions. The abstract
methods are illustrated by applications which, in many cases, l
ad to results not yet found in more traditional presentations of the various subjects, for instance on the exponentiability of spaces and embeddability of algebras. Suggestions for further
studies and research are also given.
Автор: Oscar Castillo; Patricia Melin Название: Type-2 Fuzzy Logic: Theory and Applications ISBN: 3540762833 ISBN-13(EAN): 9783540762836 Издательство: Springer Рейтинг: Цена: 15674 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. This work focuses on the use of type-2 fuzzy logic and traditional SC techniques to solve pattern recognition problems in realworld applications.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru