Подробное описание документа

Ершов Ю. Л., Палютин Е. А.
   Математическая логика : учеб. пособие для вузов / Ершов Ю. Л., Палютин Е. А. - [6-е изд., испр.]. - М. : Физматлит, 2011. - 356 с. - ISBN 978-5-9221-1301-4.

Лань

Войти и читать

https://e.lanbook.com/book/59599

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для специальных курсов.
Рекомендовано УМС по математике и механике ума по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика".

УДК

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

Предметные рубрики

• Математическая логика - Учебники и пособия

Общее кол-во в фондах

2 экз.

Заказать на абонемент

Заказать в читальный зал

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313

Похожие издания

Ершов Ю. Л., Палютин Е. А.
   Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2.

Кол-во в фондах 9 экз.

подробнее

Ершов Ю. Л., Палютин Е. А.
   Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 3-е изд., стер. - СПб. : Лань, 2004. - 336 с. - ISBN 5-8114-0533-2.

Кол-во в фондах 3 экз.

подробнее

Ершов Ю. Л.
   Математическая логика. - Изд. 2-е, испр. и доп. - М., : Наука, 1987. - 336 с.

Кол-во в фондах 3 экз.

подробнее