Чему вы научитесь
Содержание курса
Раздел I.
Урок №1. Высказывания и операции над ними, ч.1
Урок №2. Высказывания и операции над ними, ч.2
Урок №3. Формулы алгебры высказываний
Урок №4. Самостоятельная работа
Раздел II.
Урок №1. Логические функции, таблицы истинности
Урок №2. Законы логики
Урок №3. Построение логической формулы, нормальные формы
Урок №4. Самостоятельная работа
Раздел III.
Урок №1. Схемотехника
Урок №2. Гипотезы и следствия, логические задачи
Урок №3. Итоговый контроль
Требования
- Компьютер или ноутбук даже с минимальной производительностью, колонки или наушники, доступ в Интернет.
За основу содержания курса были взяты классические учебники и учебные пособия по математической логике, в частности учебное пособие Агаревой О. Ю., Селиванова Ю. В. "Математическая логика и теория алгоритмов".
О курсе
Курс предназначен для школьников старших классов, а также студентов I-II курсов, которые начинают изучать математическую логику.
Курс содержит три основных раздела:
1. Первичные сведения о логике.
2. Подробное изучение логических функций.
3. Практическое приложение алгебры логики.
Также содержит практические задания по ходу теоретического материала, самостоятельные работы по каждому блоку и итоговый контроль по всему курсу.
1 978