Математическая логика
Авторы:
Ершов Ю. Л.
(1)
Палютин Е. А.
(1)
Издательство: Наука
Место издания: Москва
Тип переплёта: твёрдый
Год издания: 1987
Формат: Стандартный
Состояние: Очень холошее. Потертости на обложке. Печать на нахзаце. Небольшой скос блока. Неприятный запах.
Количество страниц: 336 с.
На остатке: 1
150 р.
Аннотация
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов: имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
(2074 продаж с 2019 г.)
Почтовый идентификатор:
- высылается всегда
Дополнительные сканы и фото:
- Не высылаются
Торг по цене:
- не возможен
Хранение неоплаченных заказов:
- 3 (дней)
Аннотация
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов: имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Аналогичные книги смотрите в разделах:


