| Цель изучения дисциплины | Цель – теоретическое освоение студентами основных разделов математической логики, необходимых для понимания роли математической логики в профессиональной деятельности; формирования культуры мышления, способности к обобщению, анализу, восприятию информации, постановке цели и выбору путей её достижения; освоения основных методов математической логики, применяемых в решении профессиональных задач и научно-исследовательской деятельности. Задачи: • Научить студентов основным методам математической логики, которые необходимы для понимания других дисциплин и дальнейшей исследовательской деятельности специалиста-математика; • Повысить математическую грамотность специалистов-математиков; • Сформировать и развить научное мышление (и такие его компоненты как критичность, доказательность, логичность и строгость изложения); • Подготовить студентов к самостоятельному изучению тех разделов математики, которые могут дополнительно понадобиться в жизни и профессиональной деятельности специалисту-математику. |
|---|---|
| Место дисциплины в учебном плане | Б1.В.1 |
| Формируемые компетенции | ПК-1 | Знания, умения и навыки, получаемые в результате освоения дисциплины |
Знать:
ПК-1.1 Знает сущность, структуру, функции, движущие силы обучения математике и экономике в образовательных организациях основного общего, среднего общего образования Уметь:
ПК-1.2 Умеет ставить цели, проектировать содержание, оптимально отбирать методы обучения, формы и средства обучения математике и экономике Иметь навыки и (или) опыт деятельности (владеть):
ПК-1.3 Владеет технологиями обучения математике и экономике в образовательных организациях основного общего, среднего общего образования |
| Содержание дисциплины | Логические исчисления, модели.. . |
| Виды учебной работы | Лекции, практические, самостоятельная работа. |
| Используемые информационные, инструментальные и программные средства |
Microsoft Office 2010 (Office 2010 Professional, № 4065231 от 08.12.2010), (бессрочно);
Microsoft Windows 7 (Windows 7 Professional, № 61834699 от 22.04.2013), (бессрочно); Chrome (http://www.chromium.org/chromium-os/licenses), (бессрочно); 7-Zip (http://www.7-zip.org/license.txt), (бессрочно); AcrobatReader (http://wwwimages.adobe.com/content/dam/Adobe/en/legal/servicetou/Acrobat_com_Additional_TOU-en_US-20140618_1200.pdf), (бессрочно); ASTRA LINUX SPECIAL EDITION (https://astralinux.ru/products/astra-linux-special-edition/), (бессрочно); LibreOffice (https://ru.libreoffice.org/), (бессрочно); Веб-браузер Chromium (https://www.chromium.org/Home/), (бессрочно); Антивирус Касперский (https://www.kaspersky.ru/), (до 23 июня 2024); Архиватор Ark (https://apps.kde.org/ark/), (бессрочно); Okular (https://okular.kde.org/ru/download/), (бессрочно); Редактор изображений Gimp (https://www.gimp.org/), (бессрочно) 1. https://portal.edu.asu.ru/course/view.php?id=1062 - Единый образовательный портал
|
| Форма промежуточной аттестации | Зачет. |