МИНОБРНАУКИ
ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
ФАКУЛЬТЕТ ИНФОРМАТИКИ
УТВЕРЖДАЮ
Декан факультета
« » 2010 г.
ЭЛЕМЕНТЫ ТЕОРИИ НЕЧЕТКИХ МНОЖЕСТВ
(ЕН. Ф.1.02)
РАБОЧАЯ ПРОГРАММА
трудоемкость дисциплины 2 зачетные единицы
НАПРАВЛЕНИЕ 080800 – ПРИКЛАДНАЯ ИНФОРМАТИКА
Томск
2010
УТВЕРЖДЕНО кафедрой программной инженерии. Протокол №19 от 01.01.2001 г. Зав. кафедрой, профессор | СОСТАВИТЕЛЬ старший преподаватель кафедры программной инженерии |
II. Организационно-методический раздел
Цель курса – изучение методов неклассических логик.
Задача учебного курса – ознакомление с основными понятиями и методами неклассических логик с ориентацией на их использование в практической информатике.
Дисциплины-предшественники – основы дискретной математики, математическая логика и теория алгоритмов.
Требования к уровню освоения дисциплины – умение пользоваться методами неклассических логик.
III. Содержание дисциплины
III.1. Лекционный курс
Тема 1. Пропозициональные логики.
Интуиционистская логика высказываний, семантика Крипке. Аксиомы интуиционистского исчисления высказываний.
Тема 2. Многозначная логика.
Тема 3. Модальная логика.
Язык модальной логики. Примеры модальностей в естественном языке. Семантика Крипке для модального языка.
Тема 4. Временные (темпоральные) логики.
Примеры временных логик: логики линейного времени, логики ветвящегося времени. Временные логики и верификация программ.
Тема 5. Нечеткая логика.
Нечеткие множества и операции над ними. Лингвистическая переменная.
Тема 6. Нечеткие выводы.
Алгоритмы Mamdani, Tsukamoto, Упрощённый алгоритм нечёткого вывода.
Тема 7. Нечеткие языки, нечеткие алгоритмы.
IV. Распределение часов курса по темам и видам работ
№№ пп | Наименование тем | Всего часов | Аудиторные занятия (час), в том числе | Самостоятельная работа | ||
лекции | семинары | лабораторные занятия | ||||
1 | Пропозициональные логики | 6 | 4 | 2 | ||
2 | Многозначная логика | 6 | 4 | 2 | ||
3 | Модальная логика | 6 | 4 | 2 | ||
4 | Временные (темпоральные) логики | 6 | 4 | 2 | ||
5 | Нечеткая логика | 11 | 4 | 4 | 3 | |
6 | Нечеткие выводы | 11 | 4 | 4 | 3 | |
7 | Нечеткие языки, нечеткие алгоритмы | 6 | 4 | 2 | ||
ИТОГО | 52 | 28 | 8 | 16 |
