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