
QR code of document
>
510(076) Л 136
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Изд. 2-е. - Москва : Физматлит, 1984. - 223 c.
УДК | 510.3(076.1) | 510.5(076.1) | 510.6(076.1) |
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- теория алгоритмов -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 12
Абонемент учебной литературы (10), Ч/З о. Русский (2)
Свободны: Абонемент учебной литературы (10), Ч/З о. Русский (2)