Математическая логика
|
Автор | | Ю. Л. Ершов, Е. А. Палютин |
ISBN | | 5170224257:5271081737:5957711500 |
|
Содержание:
Собачье сердце, Мастер и Маргарита, Письма
Описание:
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.Похожие книги