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