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

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

Show other versions (5)
Bibliographic Details
Main Author: Лавров, Игорь Андреевич
Other Authors: Максимова, Лариса Львовна
Format: Book
Language:Russian
Published: М. Наука, Главная редакция физико-математической литературы 1975
Subjects:
теория множеств.
математическая логика.
алгоритмов теория.
учебные пособия для вузов.
кардинальные числа.
ординальные числа.
алгебра высказываний.
алгебра логики.
предикаты.
функции.
аксиоматические теории.
функции рекурсивные.
Тьюринга машины.
Клини нумерация.
Поста нумерация.
задачи.

Similar Items

Similar Items