Задачи по теории множеств, математической логике и теории алгоритмов

Задачи по теории множеств, математической логике и теории алгоритмов

Показать другие варианты (5)
Библиографическая информация
Главный автор: Лавров, Игорь Андреевич
Другие авторы: Максимова, Лариса Львовна
Формат: Книга
Язык:Russian
Публикация: Москва Физматлит [и др.] 2002
Редактирование:5-е изд.
Предметы:
Множеств теория > Задачи.
Математическая логика > Задачи.
Алгоритмы > Задачи.
кардинальные числа.
ординальные числа.
бинарные отношения.
алгебра высказываний.
алгебра логики.
логика предикатов.
исчисление предикатов.
аксиоматические теории.
фильтрованные произведения.
рекурсивные функции.
Тьюринга машины.
рекурсивные множества.
Клини нумерация.
Поста нумерация.
учебные пособия для вузов.
задачи.
Online-ссылка:Перейти в каталог НБ ТГУ
Search Result 5
Задачи по теории множеств, математической логике и теории алгоритмов
по Лавров, Игорь Андреевич
Публикация 1975
Книга
Показать все варианты (6)

Похожие документы