СодержаниеI. Рабочая программа дисциплины 2.Требования к уровню усвоения дисциплины Теория алгоритмов 3. Объем дисциплины, формы текущего и промежуточного контроля Вид учебной работы Всего часов на дисциплину Содержание и тематика Введение. Уточнение понятия алгоритма II. Рекурсивные функции Машины Тьюринга IV. Нормальные алгоритмы Маркова V. Дополнительные главы 4. Содержание разделов дисциплины II. Рекурсивные функции. III. Машины Тьюринга IV. Нормальные алгоритмы Маркова V. Дополнительные главы 5. Темы практических занятий 6. Примерные контрольные работы 7. Тематика рефератов по теории алгоритмов 8. Учебно-методическое обеспечение дисциплины 1. Сайт профессора кафедры математической логики и теории алгоритмов МГУ им. Ломоносова Пентуса М.Р. Виды учебной работы 1. Творцы теории алгоритмов. 2. Алгоритмы поиска. 3. Неразрешимость логики первого порядка. 4. Нестандартные модели арифметики. 5. Метод диагонализации в математической логике. 6. Машины Тьюринга и невычислимые функции. 7. Вычислимость на абаке и рекурсивные функции. 8. Представимость рекурсивных функций и отрицательные результаты математической логики. 10. Разрешимость арифметики сложения. 11. Теорема Геделя о неполноте формальной арифметики. 12. Разрешимые и неразрешимые аксиоматические теории. II. Материалы, устанавливающие содержание и порядок проведения промежуточных и итоговых аттестаций
|