В курсе проводится краткий исторический обзор логики как науки, рассматривается дедуктивный и индуктивный методы вывода и их применение в повседневной жизни. Достаточно подробно рассматриваются базисные математические понятия – множества, отношения, функции.

Наряду с традиционными для школьного курса понятиями логики высказываний – бинарных логических функций, построения таблиц истинности, законов логики высказываний, рассматриваются и более сложные вопросы, такие как, например, конъюнктивные и дизъюнктивные нормальные формы записи логических формул. Изложение теоретического материала сопровождается рассмотрением конкретных логических задач.

Ссылка на видеокурс: http://www.intuit.ru/studies/courses/13859/1256/info