Удачи на экзамене!

01. Множества. Свойства операций над ними.
02. Декартово произведение множеств. Булеан.
03. Соответствия. Типы соответствий.
04. Суперпозиции соответствий. Обратные соответствия. Функции.
05. Специальные бинарные отношения.
06. Частично упорядоченные множества. Минимальные и наименьшие элементы.
07. Отношения эквивалентности. Классы эквивалентных элементов.
08. Эквивалентность множеств и ее свойства.
09. Счетные множества. Подмножества счетного множества.
10. Теорема об объединении счетных множеств. Счетность множества рациональных чисел.
11. Теорема о декартовом произведении счетных множеств.
12. Счетные подмножества бесконечных множеств.
13. Счетные подмножества несчетных множеств.
14. Теорема Кантора о несчетности отрезка. Трансцендентные числа.
15. Эквивалентность отрезков, интервалов и прямой.
16. Теорема Кантора-Бернштейна.
17. Определение неравенства мощностей. Четыре случая сравнения мощностей.
18. Свойства счетных множеств на языке мощностей.
19. Множество всех подмножеств счетного множества.
20. Теорема Кантора о бесконечности шкалы мощностей.
≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡
21. Формальные аксиоматические теории. Исчисление высказываний (ИВ).
22. Примеры формальных доказательств.
23. Вывод из условий. Примеры.
24. Теорема о дедукции.
25. Лемма о транзитивности импликации.
26. Теорема о транзитивности выводимости.
27. Теорема о десяти выводимых правилах.
28. Лемма о противоречии.
29. Лемма о противоположной теореме.
30. Истинностные таблицы. Булевы функции.
31. Непротиворечивость-определение.
32. Теорема о непротиворечивости ИВ.
33. Лемма освязи таблиц истинности и выводимости.
34. Лемма о законе исключенного третьего.
35. Теорема о связи таблиц истинности и выводимости.
36. Следствие для тождественно истинных формул.
37. Полнота формальной теории. Полнота ИВ.
38. Критерий выводимости формулы изаксиом и условий.

Все кто помогал молодцы, мы собрали всю инфу по мат. логике!

/* Нашли ошибку? Хотите дополнить/поправить то, что есть или добавить новое? Пишите в комментарии или на почту! */