Экзамен Количество кредитов 3

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

Документы

Содержание Направленность курса

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

• Экзамен Количество кредитов, 15.64kb.
• Экзамен Количество кредитов, 29.62kb.
• Экзамен Количество кредитов, 20.08kb.
• Экзамен Количество кредитов, 20.94kb.
• Экзамен Количество кредитов, 25.68kb.
• Экзамен Количество кредитов, 27.35kb.
• Экзамен Количество кредитов, 17.18kb.
• Экзамен Количество кредитов, 24.77kb.
• Экзамен Количество кредитов, 16.17kb.
• Экзамен Количество кредитов, 21.21kb.

Название курса Математическая логика и теория алгоритмов				Код 1000
Язык преподавания Русский	Метод оценки Экзамен			Количество кредитов 3
Курс II	Уровень курса Бакалавр		Тип курса Обязательный	Семестр(ы) 3
Направленность курса:
Описание курса: Логика высказываний; логика предикатов; исчисления; непротиворечивость; полнота; синтаксис и семантика языка логики предикатов; клазуальная форма; метод резолюций в логике предикатов; принцип логического программирования; темпоральные логики; нечеткая и модальные логики; нечеткая арифметика; алгоритмическая логика Ч.Хоара; логика высказываний; логическое следование, принцип дедукции; метод резолюций; аксиоматические системы, формальный вывод; метатеория формальных систем; понятие алгоритмической системы; рекурсивные функции; формализация понятия алгоритма; машина Тьюринга; тезис Черча; алгоритмически неразрешимые проблемы; меры сложности алгоритмов; легко и трудноразрешимые задачи; классы задач P и NP; NP - полные задачи; понятие сложности вычислений; эффективные алгоритмы; основы нечеткой логики; элементы алгоритмической логики.
Список литературы
Метод преподавания		Телекоммуникационная система ДОТ (дистанционная образовательная технология)