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