УДК: 510.6(075.8) ББК: В12
Математическая логика
Ершов Юрий Леонидович, Палютин Евгений Андреевич
Всі категорії
Вся тематика
Фізико-математичні науки
Математика
Фундаментальні та загальні питання математики
Математична логіка
22.03.1981 -- М. : Наука. Гл. ред. физ.-мат. лит.
Книга
Навчальне видання
Шифр:517.1
Авторський
знак:Е804
Мова:rus
Додаткові відомості щодо назви :
[Учебн. пособие для студ. мат. спец. вузов]
Відомості
про видання : 2-е изд., испр. и доп.
Загальні
зауваження :
http://ebooks.znu.edu.ua/files/mathbooks/2008-5/mat_logika/e
rshov_iu_l___paliutin_e_a__matematicheskaz_logika__1987.djvu
В книге изложены основные классические исчисления
математической логики: исчисление высказываний и исчисление
предикатов; имеется краткое изложение основных понятий
теории множеств и теории алгоритмов. Ряд разделов книги -
теория моделей и теория дока зательств - изложены более
подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может
служить пособием для спецкурса.
Дата внесення :
22.03.1981
Переглядів: 0
Популярність: 0%
