Математическая логика

Содержание курса

Раздел I.

   Урок №1. Высказывания и операции над ними, ч.1

    Урок №2. Высказывания и операции над ними, ч.2

     Урок №3. Формулы алгебры высказываний

      Урок №4. Самостоятельная работа

Раздел II.

   Урок №1. Логические функции, таблицы истинности

    Урок №2. Законы логики

     Урок №3. Построение логической формулы, нормальные формы

      Урок №4. Самостоятельная работа

Раздел III.

   Урок №1. Схемотехника

    Урок №2. Гипотезы и следствия, логические задачи

       Урок №3. Итоговый контроль

Требования

• Компьютер или ноутбук даже с минимальной производительностью, колонки или наушники, доступ в Интернет.

За основу содержания курса были взяты классические учебники и учебные пособия  по математической логики, в частности учебное пособие Агаревой О. Ю., Селиванова Ю. В. "Математическая логика и теория алгоритмов".