Математическая логика

Код товара: 59021
Доступность: Нет в наличии
Артикул: s111-80996

  • 150.00 р.


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


Изложены основные классические исчисления матлогики: исчисление высказываний и исчисление предикатов, имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов - теория моделей и теория доказательств - изложены более подробно.

Книга

Автор Ершов Ю.Л., Палютин Е.А.
Год 1987
Город издания Москва
Издание Учебное пособие для вузов. Издание второе, исправленное и дополненное.
Издательство Наука
Количество страниц 336 с.
Переплет твердый
Состояние Хорошее
Формат обычный
Внимание: HTML не поддерживается! Используйте обычный текст!
Captcha

1987, Ершов Ю.Л., Палютин Е.А.