Математическая логика
Код товара: 59021
Доступность: Нет в наличии
Артикул: 11180996
- 150.00 р.
-
Краткие характеристики
Автор
Ершов Ю.Л., Палютин Е.А.
Год
1987
Город издания
Москва
Издание
Учебное пособие для вузов. Издание второе, исправленное и дополненное.
Издательство
Наука
Количество страниц
336 с.
Переплет
твердый
Состояние
Хорошее
Формат
обычный
Изложены основные классические исчисления матлогики: исчисление высказываний и исчисление предикатов, имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов - теория моделей и теория доказательств - изложены более подробно.
Книга
Автор
Ершов Ю.Л., Палютин Е.А.
Год
1987
Город издания
Москва
Издание
Учебное пособие для вузов. Издание второе, исправленное и дополненное.
Издательство
Наука
Количество страниц
336 с.
Переплет
твердый
Состояние
Хорошее
Формат
обычный
Похожие товары
Проблемы структурного оценивания в эконометрии
Монография посвящена рассмотрению приемов и методов эконометрии. В центре внимания в книге задача оц..
Автор: Пирогов Г.Г., Федоровский Ю.П.
Год: 1979
460.00 р.
Введение в теорию резонансных систем
Изложены новые результаты по асимптотической теории обыкновенных дифференциальных уравнений с малым ..
Автор: Гребеников Е.А.
Год: 1987
830.00 р.
Непараметрические методы статистики
Книга представляет собой руководство по непараметрической статистике для пользователей. Методы облад..
Автор: Холлендер М., Вулф Д.
Год: 1983
830.00 р.
Дискретное программирование
Монография посвящена дискретному программированию (часто называемому также целочисленным и комбинато..
Автор: Корбут А.,Финкельштейн Ю.
Год: 1969
460.00 р.
1987, Ершов Ю.Л., Палютин Е.А.