Математическая логика
Код товара: 59021
Доступность: Нет в наличии
Артикул: s111-80996
- 150.00 р.
-
Краткие характеристики
Автор
Ершов Ю.Л., Палютин Е.А.
Год
1987
Город издания
Москва
Издание
Учебное пособие для вузов. Издание второе, исправленное и дополненное.
Издательство
Наука
Количество страниц
336 с.
Переплет
твердый
Состояние
Хорошее
Формат
обычный
Изложены основные классические исчисления матлогики: исчисление высказываний и исчисление предикатов, имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов - теория моделей и теория доказательств - изложены более подробно.
Книга
Автор
Ершов Ю.Л., Палютин Е.А.
Год
1987
Город издания
Москва
Издание
Учебное пособие для вузов. Издание второе, исправленное и дополненное.
Издательство
Наука
Количество страниц
336 с.
Переплет
твердый
Состояние
Хорошее
Формат
обычный
Похожие товары
Исследования по геометрии «в целом» и математическому анализу
В сборнике освещаются актуальные проблемы теории римановых многообразий, теории кривых в #3, теории ..
Автор: -
Год: 1987
350.00 р.
Динамика неголономных систем
В книге дается полное и систематическое изложение механики неголономных систем, включающее кинематик..
Автор: Неймарк Ю.И., Фуфаев Н.А.
Год: 1967
400.00 р.
Проблемы структурного оценивания в эконометрии
Монография посвящена рассмотрению приемов и методов эконометрии. В центре внимания в книге задача оц..
Автор: Пирогов Г.Г., Федоровский Ю.П.
Год: 1979
300.00 р.
Введение в теорию резонансных систем
Изложены новые результаты по асимптотической теории обыкновенных дифференциальных уравнений с малым ..
Автор: Гребеников Е.А.
Год: 1987
600.00 р.
1987, Ершов Ю.Л., Палютин Е.А.