№
п/п З
| Знания
|
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 аттестация
|
| Зачет
|
|
|
|
|
|
| Вопросы к зачету
|
| Всего
|
|
|
|
|
|
|
|