желательно кратко:
1. Понятие множества, виды множеств задания множеств, мощность множества, булеан.
2. Операции над множествами(объединение, пересечение, дополнение, разность, инверсия, импликация.
3. Декартово произведения множеств, декартова степень и его свойства
4. Изображения множеств диаграммами Эйлера-Вена и операций над ними.
5. Отображения: инъекция, сюрьекция, биекция.
6. Бинарные отношения, как подмножество декартова произведения.
7. Основные логические операции, таблицы истинности для основных логических операций.
8. Операция сложения по модулю два (таблица истинности).
9. Понятие булевой функции, булевы функции двух переменных (таблицы истинности), реализация функций формулами, понятие тождественно-истинная формула или тавтология, понятие противоречивой формулы
10. Законы логики Буля.
11. Понятие равносильности двух формул логики задания булевой функции .
13. Представления булевой функции в виде СДНФ, СКНФ.
14. Методика представления булевой функции в виде минимальной ДНФ алгебраическими методами.
15. Понятие полноты множества функций , теорема Поста.
16. Логика высказываний, основные логические операции логики высказываний
17. Запись логических выражений с логических связок.
18. Законы логики высказываний.
19. Методы доказательства в логике высказываний (аналитический, таблицей истинности).
20. Понятие предиката, кванторы, связь между предикатами и логическими операциями.
21. Свободные и связанные переменные в выражениях с кванторами;
22. Область истинности предикатов;
23. Построение отрицаний к предикатам, содержащим кванторы;
24. Понятие графа, ориентированный и неориентированный граф их задания;
25. Связный граф, путь в графе, цикл в графе,
26. Эйлеров и гамильтонов граф, теорема Эйлера;
27. Понятие взвешенного графа на примере.
28. Понятие конечного автомата. Базовые множества автоматов. Виды автоматов задания конечных автоматов. Общие задачи теории автоматов.

maivina7777777    1   27.05.2020 18:25    1