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

Bibliographic Details
Main Author:	Лавров, Игорь Андреевич
Other Authors:	Максимова, Лариса Львовна
Format:	Book
Language:	Russian
Published:	Москва Физматлит [и др.] 2002
Edition:	5-е изд.
Subjects:	Множеств теория > Задачи. Математическая логика > Задачи. Алгоритмы > Задачи. кардинальные числа. ординальные числа. бинарные отношения. алгебра высказываний. алгебра логики. логика предикатов. исчисление предикатов. аксиоматические теории. фильтрованные произведения. рекурсивные функции. Тьюринга машины. рекурсивные множества. Клини нумерация. Поста нумерация. учебные пособия для вузов. задачи.
Online Access:	Перейти в каталог НБ ТГУ

Similar Items