Программа дисциплины теория алгоритмов специальность 050201. 65 «Математика» с дополнительной специальностью «Информатика» Согласовано

Количество страниц3
Дата20.03.2012
Размер454.48 Kb.
ТипПрограмма дисциплины


Содержание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. Материалы, устанавливающие содержание и порядок проведения про­межуточных и итоговых аттестаций






База данных защищена авторским правом ©ДуГендокс 2000-2014
При копировании материала укажите ссылку

DoGendocs.ru

Разработка сайта — Веб студия Адаманов