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