КНИГИ НА РУССКОМ ЯЗЫКЕ


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

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

2011. 356 с. Твердый переплет. ISBN 978-5-9221-1301-4.

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

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