Чему вы научитесь
- Строить таблицы истинности для сложных логических формул.
- Упрощать логические выражения, используя законы алгебры логики и библиотеку SymPy.
- Находить многочлены Жегалкина методом неопределённых коэффициентов.
- Получать совершенные нормальные формы (СДНФ и СКНФ) по таблице истинности.
- Проверять полноту систем логических функций с помощью теоремы Поста.
- Исследовать все логические функции от двух и трёх переменных.
О курсе
Добро пожаловать на курс, посвящённый практическому применению алгебры логики с использованием языка Python! Этот курс создан для всех, кто хочет не просто заучить законы логики, а научиться автоматизировать логические вычисления, строить таблицы истинности, упрощать выражения и анализировать булевы функции с помощью программирования.
Для кого этот курс
Школьники 8–11 классов, интересующиеся информатикой и математикой.
Студенты технических и ИТ специальностей, изучающие дискретную математику и математическую логику.
Учителя информатики, желающие добавить практические задания по алгебре логики.
Все, кто хочет освежить знания или подготовиться к олимпиадам по программированию.
Начальные требования
Достаточно базовых навыков программирования на Python (переменные, циклы, функции). Всё остальное — от теории логики до специфических библиотек — объясняется по ходу курса.
Присоединяйтесь, чтобы превратить абстрактные логические формулы в работающий код и увидеть красоту алгебры логики в действии!
Преподаватели курса
15
Нагрузка
1-2 часа в неделю