Название работы	Кол-во страниц	Размер
Дисциплины История Общая трудоемкость изучения дисциплины составляет...	6	925.97kb.
Программа "Информационно-управляющие системы"	1	152.41kb.
Рабочая программа дисциплины Информационные технологии в менеджменте...	4	531.87kb.
Программа "Динамика и прочность машин"	1	69.23kb.
Рабочая программа учебной дисциплинЫ «Интеллектуальные информационные...	1	148.62kb.
Рабочая программа дисциплины	1	89.67kb.
Рабочая программа дисциплины сд. Ф. 03 «Информационные технологии...	1	131.37kb.
Программа дисциплины "информационные технологии" Рекомендуется Министерством...	1	101.22kb.
Рабочая программа наименование дисциплины: Новые информационные технологии	1	105.75kb.
Рабочая программа Направление 030600 «История» Квалификация (степень)	1	162.1kb.
Программа дисциплины функциональный анализ	1	37.14kb.
«Вопросы философии». 2012.№5. С. 125-133. Логика и философия	1	239.4kb.
Викторина для любознательных: «Занимательная биология»	1	9.92kb.

МИНОБРНАУКИ

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

ФАКУЛЬТЕТ ИНФОРМАТИКИ
УТВЕРЖДАЮ

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

С.П. Сущенко

« » 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.