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

Варианты приобретения

Цена: 17609.00р. ~~25155.00р.~~ -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

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