Рабочая программа трудоемкость дисциплины 2 зачетные единицы направление 010400 информационные технологии

Вид материала

Рабочая программа

Содержание Цель курса Требования к уровню освоения дисциплины

Подобный материал:

• Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование, 78.22kb.
• Рабочая программа трудоемкость дисциплины 5 зачетных единиц направление 010400 информационные, 103.17kb.
• Аннотация учебной дисциплины "История России", 949.55kb.
• 261100 Технология проектирования текстильных изделий, 18.19kb.
• Рабочая программа дисциплины ип. Ф. 1 «Информационные технологии в юридической деятельности», 374.81kb.
• Черенкова Анна Дмитриевна Трудоемкость дисциплины 3 зачетные единицы Количество часов, 92.51kb.
• Рабочая учебная программа дисциплины информационные технологии направление подготовки, 263.62kb.
• 032700. 62. 01 Отечественная филология: русский язык и литература аннотации рабочих, 1833kb.
• Аннотация рабочей программы дисциплины «Диаграммы фазовых равновесий и термообработка», 25.36kb.
• Аннотация рабочей программы дисциплины «История» по бакалавриату по направлению 270800, 1322.83kb.

МИНОБРНАУКИ

ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

ФАКУЛЬТЕТ ИНФОРМАТИКИ


УТВЕРЖДАЮ

Декан факультета

С.П. Сущенко

« » 2010 г.

НЕКЛАССИЧЕСКИЕ ЛОГИКИ

(ЕН.Ф.1.03)

РАБОЧАЯ ПРОГРАММА

трудоемкость дисциплины 2 зачетные единицы


НАПРАВЛЕНИЕ 010400 – ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ


Томск

2010

I.Организационно-методический раздел

Цель курса – изучение методов неклассических логик.

Задача учебного курса – ознакомление с основными понятиями и методами неклассических логик с ориентацией на их использование в практической информатике.

Дисциплины-предшественники – основы дискретной математики, математическая логика и теория алгоритмов.

Требования к уровню освоения дисциплины – умение пользоваться методами неклассических логик.

II.Содержание дисциплины

II.1.Лекционный курс

Тема 1. Пропозициональные логики.

Интуиционистская логика высказываний, семантика Крипке. Аксиомы интуиционистского исчисления высказываний.

Тема 2. Многозначная логика.

Тема 3. Модальная логика.

Язык модальной логики. Примеры модальностей в естественном языке. Семантика Крипке для модального языка.

Тема 4. Временные (темпоральные) логики.

Примеры временных логик: логики линейного времени, логики ветвящегося времени. Временные логики и верификация программ.

Тема 5. Нечеткая логика.

Нечеткие множества и операции над ними. Лингвистическая переменная.

Тема 6. Нечеткие выводы.

Алгоритмы Mamdani, Tsukamoto, Упрощённый алгоритм нечёткого вывода.

Тема 7. Нечеткие языки, нечеткие алгоритмы.

III.Распределение часов курса по темам и видам работ

№№ пп	Наименование тем	Всего часов	Аудиторные занятия (час), в том числе			Самостоятельная работа
			лекции	семинары	лабораторные занятия
1	Пропозициональные логики	12	4			8
2	Многозначная логика	12	4			8
3	Модальная логика	14	4			10
4	Временные (темпоральные) логики	14	4			10
5	Нечеткая логика	16	4	4		8
6	Нечеткие выводы	16	4	4		8
7	Нечеткие языки, нечеткие алгоритмы	12	4			8
ИТОГО		96	28	8		60

IV. Учебно-методическое обеспечение курса

IV.1. Основная литература

1. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М.: Наука, 1983.
   
2. Аверин А.Н. и др. Нечёткие множества в моделях управления и искусственного интеллекта / Под ред. Д.А. Поспелова. – М.: Наука, 1986.
   
3. Фейс Р. Модальная логика. – М.: Наука, 1974.
   

IV.2. Дополнительная литература

1. Ковальски Р. Логика в решении проблем. – М.: Наука, 1990.
   
2. Непейвода Н.Н. Прикладная логика. – Новосибирск: изд-во НГУ, 2000.