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

The Classical Decision Problem, Borger Egon, Gradel Erich, Gurevich Yuri



Варианты приобретения
Цена: 16141р.   23058р. -30%
Кол-во:
Наличие: Есть (1 шт.)
Отгрузка заказа в течение 1 рабочего дня
Добавить в корзину
в Мои желания

Автор: Borger Egon, Gradel Erich, Gurevich Yuri
Название:  The Classical Decision Problem
Перевод названия: Классическое решение проблем
ISBN: 9783540423249
Издательство: Springer
Классификация:
ISBN-10: 3540423249
Обложка/Формат: Paperback
Страницы: 482
Вес: 1.52 кг.
Дата издания: 2001
Серия: Universitext
Язык: English
Издание: Softcover reprint of
Иллюстрации: 3 black & white illustrations, biography
Размер: 23.39 x 15.60 x 2.54
Читательская аудитория: Postgraduate, research & scholarly
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases, and includes a number of simple proofs and exercises.
Дополнительное описание: Формат: 235x155
Круг читателей: Graduate students and researchers in mathematical logic andtheoretical computer science
Ключевые слова: Decision problem
complexity
finite models
first-order logic
undecidability
Язык: eng
Издание: 1st ed. 1997. 2nd printin





An Introduction to Non-Classical Logic

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 13462 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.

Decision Procedures

Автор: Daniel Kroening; Ofer Strichman
Название: Decision Procedures
ISBN: 3662504960 ISBN-13(EAN): 9783662504963
Издательство: Springer
Рейтинг:
Цена: 9781 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focusing on theories expressive enough to model real problems, but still decidable, the second edition concentrates on decision procedures for first-order theories commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described are routinely used in industry.


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