Цель освоения дисциплины – углубление предметной (математической) подготовки в рамках формирования профессиональной компетенции ПК-1: готовности реализовывать образовательные программы по учебному предмету в соответствии с требованиями образовательных стандартов. Локальными целями освоения данной дисциплины являются:
• овладение основными фактами, идеями и методами математической логики;
• развитие логического мышления;
• развитие математического мышления, способностей доказывать теоремы, создавать математические модели для решения задач из различных областей, исследовать математические объекты аналитическими методами;
• осознание места математической логики в системе математических знаний;
• развитие способности применять методы других дисциплин в математической логике и наоборот;
• знакомство с основными этапами развития математической логики;
• установление связи разделов элементарной математики с разделами математической логики.
Файл рабочей программы (очная форма):