№ п/п З | Знания |
1. | математический аппарат неклассических логик |
2. | основные понятия и определения неклассических логик |
3. | отличия и общие черты разных видов логик |
4. | основные законы неклассических логик |
5. | области применения неклассических логик |
Умения, приобретаемые в ходе изучения дисциплины
№ п/п У | Умения |
1. | Применение математического аппарата для представления и использования данных в курсовых работах |
2. | Использование теоретических знаний при подготовке математической модели задачи |
3. | Построение логически правильных выводов |
Навыки, приобретаемые в ходе изучения дисциплины
№ п/п Н | Навыки |
1. | Владение математическим аппаратом для решения практических задач |
2. | Приобретение навыков логического мышления |
Компетенции, приобретаемые в ходе изучения дисциплины
Интегральные компетенции* | Знания (№№ из 3.1) | Умения (№№ из 3.2) | Навыки (№№ из 3.3) |
ОК-10.Использует основныезаконы естественнонаучных дисциплин в профессиональной деятельности, применяет методы математического анализа и моделирования, теоретического и экспериментального исследования. | 1,2,3,4,5 | 1,2,3 | 1,2 |
Структура и содержание дисциплины (модуля)
Разделы дисциплин и виды занятий
№ п/п | Раздел дисциплины | Семестр | Неделя семестра | Виды учебной работы, включая самостоятельную работу студентов и трудоемкость (в часах) | Формы текущего контроля успеваемости (по неделям семестра) Форма промежуточной аттестации (по семестрам) | |||
лек | прак | лаб | СРС* | |||||
Интуиционистская логика | Контрольная работа | |||||||
Нечеткая логика | Выполнение лаб. работы Защита лаб. работы, ответы на вопросы | |||||||
Положительные логики | 1 аттестация | |||||||
Временные логики | Выполнение лаб. работы Защита лаб. работы | |||||||
Алгоритмические логики | Контрольная работа | |||||||
Модальные логики | Контрольная работа | |||||||
Темпоральные логики | 2 аттестация | |||||||
Зачет | Вопросы к зачету | |||||||
Всего |