🖥️ Математика, Информатика и Инженерия ПО
Search
Поиск
Тёмный режим
Светлый режим
Режим чтения
Проводник
Home
❯
Категории
❯
Математическая логика
Математическая-логика
Вид графа
Обратные ссылки
01. Традиционная и математическая логики
02. Аксиоматическая система
03. Выражения языка и их символы
04. Переменные
05. Формулы языка
06. Формальная система
07. Логические связки утверждений
08. Множества
09. Задание множества при помощи его элементов
10. Декартово произведение множеств
11. Отношение с n аргументами на множестве
12. Формы записи математических операций
13. Бинарные отношения
14. Отношение тождества
15. Классы R-эквивалентности
16. Функции и отображения
17. Взаимно однозначные функции
18. Композиция функций
19. Связь композиции прямой и обратной взаимно однозначных функций с отношением тождества
20. Равномощные множества
21. Кардинальное число
22. Счётные, конечные и бесконечные множества
23. Счётные, конечные и бесконечные последовательности
24. Пропозиции и предикаты
25. Принцип математической индукции