Участники
Общее
Тема № 1. Общие понятия теории множеств.
.... Операции над множествами. Диаграммы Эйлера-Вена.
...ы алгебры множеств. Формула включений и исключений
...ых с понятием множества. Операции над множествами.
...роизведение множеств. Соответствия и их свойства.
Тема № 5. Бинарные отношения и их свойства.
Тема № 6. Функции и отображения.
...нных с понятиями отношения, отображения и функции.
Тема № 7. Операции над высказываниями
...рих Шеффера. Стрелка Пирса. Формулы алгебры логики
... № 9. Таблица истинности и методика ее построения.
...0. Соотношения между высказываниями и множествами
...ьные группы формул и равносильные преобразования.
...ры логики. Выполнение операций над высказываниями.
Тема № 12. Функции алгебры логики.
...№ 13. Дизъюнктивные конъюнктивные нормальные формы
...Закон двойственности. Минимизация булевых функций.
...на дизъюнктивные и конъюнктивные нормальные формы.
...ления булевой функции в виде многочлена Жегалкина.
...Важнейшие замкнутые классы функций. Теорема Поста.
...ление булевой функции в виде многочлена Жегалкина.
Тема № 17. Графы. Операции над графами
...каты. Обычные логические операции над предикатами.
Тема № 20. Кванторные операции над предикатами.
...е логических и кванторных операций над предиатами.
...редикатов. Равносильные формулы логики предикатов.
Тема № 22. Нормальные формы в логике предикатов.
...анятие №8. Решение логических задач с предикатами.
