URSS.ru Магазин научной книги
Обложка Ершов Ю.Л., Палютин Е.А. Математическая логика Обложка Ершов Ю.Л., Палютин Е.А. Математическая логика
Id: 155017
1266 р.

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

2011. 356 с. ISBN 978-5-9221-1301-4. Уценка. Состояние: 5-. Блок текста: 5. Обложка: 4+.
  • Твердый переплет

Аннотация

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

Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов. (Подробнее)