Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  10:00-18:00 пн-сб
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Специальные предложения | Бестселлеры
 

Categorical Logic and Type Theory,141, B. Jacobs



Варианты приобретения
Цена: 11286р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 734 шт.  Склад Америка: 107 шт.  
При оформлении заказа до: 2 окт 2020
Ориентировочная дата поставки: конец Октября

Добавить в корзину
в Мои желания

Автор: B. Jacobs
Название:  Categorical Logic and Type Theory,141   (Б. Джейкобс: Категориальная логика и теория типов)
Издательство: Elsevier Science
Классификация:
Философия математики
Основы математики
Геометрия
Философия науки

ISBN: 0444508538
ISBN-13(EAN): 9780444508539
ISBN: 0-444-50853-8
ISBN-13(EAN): 978-0-444-50853-9
Обложка/Формат: Paperback
Страницы: 780
Вес: 1.242 кг.
Дата издания: 10.05.2001
Серия: Studies in logic and the foundations of mathematics
Язык: ENG
Иллюстрации: Black & white illustrations
Размер: 23.39 x 15.60 x 4.29 cm
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.
Дополнительное описание:




An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Автор: Andrews Peter B.
Название: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
ISBN: 1402007639 ISBN-13(EAN): 9781402007637
Издательство: Springer
Рейтинг:
Цена: 12535 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Categorical Foundations

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

Sheaves, Games, and Model Completions / A Categorical Approach to Nonclassical Propositional Logics

Автор: Ghilardi S., Zawadowski M.
Название: Sheaves, Games, and Model Completions / A Categorical Approach to Nonclassical Propositional Logics
ISBN: 1402006608 ISBN-13(EAN): 9781402006609
Издательство: Springer
Рейтинг:
Цена: 15674 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-FraissГ© games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra.

Type-2 Fuzzy Logic: Theory and Applications

Автор: 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
   В Контакте     В Контакте Мед  Мобильная версия