| Цель изучения дисциплины | Цель – теоретическое освоение студентами основных разделов математической логики, необходимых для понимания роли математической логики в профессиональной деятельности; формирования культуры мышления, способности к обобщению, анализу, восприятию информации, постановке цели и выбору путей её достижения; освоения основных методов математической логики, применяемых в решении профессиональных задач и научно-исследовательской деятельности. Задачи: • Научить студентов основным методам математической логики, которые необходимы для понимания других дисциплин и дальнейшей исследовательской деятельности специалиста-математика; • Повысить математическую грамотность специалистов-математиков; • Сформировать и развить научное мышление (и такие его компоненты как критичность, доказательность, логичность и строгость изложения); • Подготовить студентов к самостоятельному изучению тех разделов математики, которые могут дополнительно понадобиться в жизни и профессиональной деятельности специалисту-математику. |
|---|---|
| Место дисциплины в учебном плане | Б1.В.1 |
| Формируемые компетенции | ОПК-8 | Знания, умения и навыки, получаемые в результате освоения дисциплины |
Знать:
о месте и роли дисциплины “Математическая логика” в системе математических наук, области применения задач в профессиональной деятельности Уметь:
основные понятия и методы математической логики; решать задачи по математической логике, демонстрировать понимание основных теорем логики и умение их доказывать Иметь навыки и (или) опыт деятельности (владеть):
применять методы математической логики при решении фундаментальных и прикладных задач |
| Содержание дисциплины | Логические исчисления, модели.. . |
| Виды учебной работы | Лекции, практические, самостоятельная работа. |
| Используемые информационные, инструментальные и программные средства |
не требуются
|
| Форма промежуточной аттестации | Зачет. |