Наукова бібліотека

Запорізького національного університету

Наукова бібліотека

Надійшли в місяці...

Пошук електронних книг


Документів:78163





Довідка для читачів, електронні книги, каталоги,
ресурси Інтернет, новини бібліотеки



Електронні книги / Детальний опис

Детальний опис



УДК: 510.6(075.8) ББК: В12

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

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

Дата внесення : 22.03.1981     Переглядів: 0     Популярність: 0%    



Новий коментар

Ім`я відправника
E-mail відправника
Надрукуйте код :



© 2017 Запорізький національний університет

login