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

Название курса

Математическая логика и теория алгоритмов

Код

1000

Язык преподавания
Русский
Метод оценки

Экзамен

Количество кредитов

3

Курс
II
Уровень курса

Бакалавр

Тип курса

Обязательный

Семестр(ы)

3

^ Направленность курса:


Описание курса:


Логика высказываний; логика предикатов; исчисления; непротиворечивость; полнота; синтаксис и семантика языка логики предикатов; клазуальная форма; метод резолюций в логике предикатов; принцип логического программирования; темпоральные логики; нечеткая и модальные логики; нечеткая арифметика; алгоритмическая логика Ч.Хоара; логика высказываний; логическое следование, принцип дедукции; метод резолюций; аксиоматические системы, формальный вывод; метатеория формальных систем; понятие алгоритмической системы; рекурсивные функции; формализация понятия алгоритма; машина Тьюринга; тезис Черча; алгоритмически неразрешимые проблемы; меры сложности алгоритмов; легко и трудноразрешимые задачи; классы задач P и NP; NP - полные задачи; понятие сложности вычислений; эффективные алгоритмы; основы нечеткой логики; элементы алгоритмической логики.

Список литературы




Метод преподавания
Телекоммуникационная система ДОТ (дистанционная образовательная технология)