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

A Short Introduction to Intuitionistic Logic, Mints Grigori



Варианты приобретения
Цена: 17076р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 647 шт.  Склад Америка: 100 шт.  
При оформлении заказа до: 21 май 2022
Ориентировочная дата поставки: Июнь

Заказ пока невозможен
в Мои желания

Автор: Mints Grigori
Название:  A Short Introduction to Intuitionistic Logic
ISBN: 9780306463945
Издательство: Springer
Классификация:
ISBN-10: 0306463946
Обложка/Формат: Hardback
Страницы: 138
Вес: 0.84 кг.
Дата издания: 2001
Серия: University Series in Mathematics
Язык: English
Иллюстрации: Biography
Размер: 21.89 x 17.37 x 1.68
Читательская аудитория: Postgraduate, research & scholarly
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Дополнительное описание: Язык: eng
Оглавление: Introduction. I: Intuitionistic Propositional Logic. 1. Preliminaries. 2. Natural Deduction for Propositional Logic. 3. Negative Translation: Glivenko's Theorem. 4. Program Interpretation of Intuitionistic Logic. 5. Computations with Deductions. 6. Coherence Theorem. 7. Kripke Models. 8. Gentzen-type Propositional System LJpm. 9. Topological Completeness. 10. Proof-Search. 11. System LJpm. 12. Interpolation Theorem. II: Intuitionistic Predicate Logic. 13. Natural Deduction System NJ. 14. Kripke Models for Predicate Logic. 15. Systems LJm, LJ. 16. Proof-Search in Predicate Logic. References. Index.





Intuitionistic Fuzzy Logics

Автор: T. Atanassov
Название: Intuitionistic Fuzzy Logics
ISBN: 3319489526 ISBN-13(EAN): 9783319489520
Издательство: Springer
Рейтинг:
Цена: 17819 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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.

ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия