URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


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

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

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

 Аннотация

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

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

 
© URSS 2016.

Информация о Продавце