Введение в логику
В
курсе проводится краткий исторический обзор логики как науки,
рассматривается дедуктивный и индуктивный методы вывода и их применение в
повседневной жизни. Достаточно
подробно рассматриваются базисные математические понятия – множества,
отношения, функции.
Наряду с традиционными для школьного курса понятиями логики высказываний
– бинарных логических функций, построения таблиц истинности, законов
логики высказываний, рассматриваются и более сложные вопросы, такие как,
например, конъюнктивные и дизъюнктивные нормальные формы записи
логических формул. Изложение теоретического материала сопровождается
рассмотрением конкретных логических задач.
Нажмите на ссылку https://www.intuit.ru/studies/courses/13859/1256/info, чтобы открыть ресурс.