Задачи по теории множеств, математической логике и теории алгоритмов/Лавров, Игорь Андреевич.

 

QR-код документа

Оценок: 0

510(076) Л 136
Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов, педагогических иститутов и технических вузов] / И. А. Лавров, Л. Л. Максимова. - Изд. 3-е. - Москва : Физматлит, 1995. - 255 c. - Библиогр. : с. 248-249. . - ISBN 502014844X

УДК
510(076)
510(076.1)

Кл.слова (ненормированные):
теория алгоритмов -- Логика -- математическая логика -- теория множеств -- информатика -- кибернетика -- кардинальные числа -- ординальные числа -- предикаты -- аксиоматические теории -- машины Тьюринга -- нумерации Клини -- нумерации Поста -- функции
Доп.точки доступа:
Максимова, Лариса Львовна

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Авторизуйтесь для получения дополнительных услуг