Банк задач по математике
β
Избранное
← Все учебники
Задачи по теории множеств, математической логике и теории алгоритмов
[
896
/
81%
]
И. А. Лавров, Л. Л. Максимова
Содержание
▸
I · Теория множеств
▸
II · Математическая логика
▸
III · Теория алгоритмов
Часть
I · Теория множеств
[
311
/
76%
]
Глава
I.1 · Операции над множествами
[
41
/
71%
]
Глава
I.2 · Отношения и функции
[
51
/
61%
]
Глава
I.3 · Специальные бинарные отношения
[
72
/
71%
]
Глава
I.4 · Кардинальные числа
[
43
/
93%
]
Глава
I.5 · Ординальные числа
[
69
/
81%
]
Глава
I.6 · Действия над кардинальными числами
[
35
/
83%
]
Часть
II · Математическая логика
[
425
/
84%
]
Глава
II.1 · Алгебра высказываний
[
47
/
89%
]
Глава
II.2 · Функции алгебры логики
[
33
/
94%
]
Глава
II.3 · Исчисления высказываний
[
48
/
92%
]
Глава
II.4 · Язык логики предикатов
[
30
/
50%
]
Глава
II.5 · Выполнимость формул логики предикатов
[
45
/
82%
]
Глава
II.6 · Исчисления предикатов
[
54
/
76%
]
Глава
II.7 · Аксиоматические теории
[
45
/
93%
]
Глава
II.8 · Фильтрованные произведения
[
60
/
75%
]
Глава
II.9 · Аксиоматизируемые классы
[
63
/
92%
]
Часть
III · Теория алгоритмов
[
160
/
87%
]
Глава
III.1 · Частично рекурсивные функции
[
44
/
84%
]
Глава
III.2 · Машины Тьюринга
[
25
/
96%
]
Глава
III.3 · Рекурсивные и рекурсивно перечислимые множества
[
48
/
81%
]
Глава
III.4 · Нумерации Клини и Поста
[
43
/
91%
]