Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов направление

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

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

Содержание Бюджет времени (час.) Цели и задачи дисциплины, ее место в учебном процессе В результате изучения дисциплины студенты должны Содержание дисциплины 1.2. Формулы логики высказываний и их классификация 1.3. Общезначимые формулы 1.5. Равносильность формул (отношение равносильности) 1.6. Нормальные формы для формул алгебры высказываний 2. Логика предикатов 2.2. Логические и кванторные операции над предикатами 3. Варианты логики и логическое программирование 3.5. Нечеткая логика 4. Алгоритмы и вычислимость 4.2. Машина Тьюринга 4.3. Рекурсивные функции 4.4. Нормальные алгоритмы Маркова 4.5. Алгоритмически неразрешимые проблемы 5.1. Сравнительные оценки алгоритмов 5.2. Классификация алгоритмов по виду функции трудоёмкости 5.3. Трудоемкость основных алгоритмических конструкций ... Полное содержание

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

• Рабочая учебная программа по дисциплине «Математическая логика и теория алгоритмов», 69.99kb.
• Рабочая программа по дисциплине в 2-Математическая логика и теория алгоритмов шифр, 316.78kb.
• Рабочая учебная программа по дисциплине математическая логика, 72.41kb.
• Рабочей программы учебной дисциплины дв2 Математическая логика и теория алгоритмов, 50.1kb.
• Рабочая программа дисциплины «Математическая логика и теория алгоритмов» Направление, 175.54kb.
• Рабочая программа дисциплины «Математическая логика и теория алгоритмов», 143.48kb.
• В. Б. Гисин Дисциплина по выбору «Математическая логика и теория алгоритмов» Настоящий, 5.87kb.
• Рабочая программа учебной дисциплины «Теория вероятностей и математическая статистика», 165.42kb.
• Рабочая программа учебной дисциплины ен. Ф. 01. 04 Математическая логика и теория алгоритмов, 259.76kb.
• Рабочая программа по дисциплине Математическая логика и теория алгоритмов для специальности, 135.74kb.

Федеральное агентство по образованию

Федеральное государственное образовательное учреждение

высшего профессионального образования

«Чувашский государственный университет имени И.Н. Ульянова»

Технический институт

Факультет дизайна и компьютерных технологий

Кафедра компьютерных технологий


УТВЕРЖДАЮ

Проректор по учебной работе

проф. ____________ А.Ю. Александров

«____» ___________________ 2010 г.


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


Дисциплина ЕН.Ф.01.04 – МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

Направление 654600 – Информатика и вычислительная техника

Специальность 230102 – Автоматизированные системы обработки информации и управления

БЮДЖЕТ ВРЕМЕНИ (ЧАС.)

Срок обучения	Сем	Всего	Аудиторные занятия				Сам. раб.	Итоговый контроль
			Всего ауд	Лек	Прак	Лаб		Контр. раб.	Зач.	Экз.	Курс. пр (раб)
4,5 г.об.	3	100	18	10	8	-	82	+		+
6 лет	3	100	18	10	8	-	82	+		+	Курс.раб.
3,5 г.об.	3	100	51	34	17	-	49		+		Курс.раб.
5 лет	3	100	68	34	34	-	32	Расч.-гр. раб.	+	+

Рабочая программа составлена в соответствии с государственным образовательным стандартом высшего профессионального образования направления подготовки дипломированного специалиста 654600 – Информатика и вычислительная техника, специальности 230102 – Автоматизированные системы обработки информации и управления, утвержденным 27 марта 2000г. (Регистрационный номер 224 тех/дс).


Составитель: ст.пр. кафедры КТ Н.А. Кузнецова


Рабочая программа обсуждена, одобрена и рекомендована к использованию на заседании кафедры компьютерных технологий, «___» ___________ 2010 г., протокол №___

Зав. кафедрой компьютерных технологий,

профессор В.П. Желтов


Рассмотрена и одобрена методическим советом ФДиКТ

Декан, председатель методсовета факультета ДиКТ В.П. Желтов


Чебоксары 2010

ЦЕЛИ И ЗАДАЧИ ДИСЦИПЛИНЫ, ЕЕ МЕСТО В УЧЕБНОМ ПРОЦЕССЕ

ЦЕЛЬ ПРЕПОДАВАНИЯ ДИСЦИПЛИНЫ

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


В результате изучения дисциплины студенты должны:

- получить знания об основах логики высказываний, логики предикатов, нечеткой логики и теории алгоритмов;

- знать и уметь использовать теоретические основы и прикладные средства математической логики и теории алгоритмов;

- знать основные методы и алгоритмы математической логики, связанные с моделированием и оптимизацией систем различной природы;

- иметь представление о тенденциях и перспективах развития инструментальных средств математической логики и теории алгоритмов;

- уметь строить и анализировать алгоритмы для решения дискретных задач

СОДЕРЖАНИЕ ДИСЦИПЛИНЫ

Содержание дисциплины по государственному образовательному стандарту.

Логика высказываний; логика предикатов; исчисления; непротиворечивость; полнота; синтаксис и семантика языка логики предикатов. Клаузальная форма. Метод резолюций в логике предикатов. Принцип логического программирования. Темпоральные логики; нечеткая и модальные логики; нечеткая арифметика; алгоритмическая логика Ч. Хоара. Логика высказываний. Логическое следование, принцип дедукции. Метод резолюций. Аксиоматические системы, формальный вывод. Метатеория формальных систем. Понятие алгоритмической системы. Рекурсивные функции. Формализация понятия алгоритма; Машина Тьюринга. Тезис Черча; Алгоритмически неразрешимые проблемы. Меры сложности алгоритмов. Легко и трудноразрешимые задачи. Классы задач P и NP. NP – полные задачи. Понятие сложности вычислений; эффективные алгоритмы. Основы нечеткой логики. Элементы алгоритмической логики.

Введение.

Организация учебного процесса. Рекомендуемая литература. Цели и задачи курса, связь с другими дисциплинами.