Вид документа : Однотомное издание Шифр издания : 395379 Автор(ы) : Ершов Ю. Л., Палютин Е. А. Заглавие : Математическая логика . -6 Выходные данные : Москва: Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2011 Колич.характеристики :356 с. ISBN, Цена 9785922113014: Б.ц. УДК : 510.6(075.8) ББК : 22.12 Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов. Доп. точки доступа: Палютин, Е. А. |