Электронный каталог МАУК "МИБС" г. КемеровоЕршов, Юрий Леонидович

Поиск :

Предъявите этот штрих-код вместо читательского билета

xxx

Книга
Автор: Ершов, Юрий Леонидович
Математическая логика : учебное пособие для вузов
Издательство: Наука, 1987 г.
ISBN отсутствует

Книга
22.12 Е80

Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для вузов / Юрий Леонидович Ершов, Евгений Андреевич Палютин . – 2-е изд., испр. и доп . – Москва : Наука, 1987 . – 336 с. : ил.

В учебном пособии для студентов математических специальностей вузов изложены основные классические исчисления математической логики, имеется краткое изложение основных понятий теории множеств и теории алгоритмов. /кх-1 ф1-1 ф2-1 ф14-1/

ББК 22.12

Общий = Математическая логика
ключевой = теория множеств
ключевой = Исчисление предикатов
ключевой = Теория моделей
ключевой = Теория доказательств
Общий = Алгоритмы
ключевой = Рекурсивные функции
Общий = Конвертация
Общий = Учебники и учебные пособия : для вузов

Филиал	Фонд	Всего	Доступно для брони	Доступно для выдачи	Бронирование
Б-ка "Читай-город" (ул. Инициативная, 40)	книжный	1	1	1	Заказать
Библиотека городских историй (ул. Весенняя, 7)	книжный	1	1	1	Заказать
Б-ка им. В.М. Мазаева (ул. Тухачевского, 12)	книжный	1	1	1	Заказать
ГБ ООЕФ (пр. Ленина,135)	книжный	1	1	1	Заказать