- •7.050102 “Программное обеспечение автоматизированных систем”,
- •7.080407 “Компьютерный эколого-экономический мониторинг ”)
- •Донецк - 2009
- •Рекурсивные функции
- •Теоретическая справка
- •Примитивно-рекурсивные функции
- •Задание на лабораторную работу
- •Контрольные вопросы
- •Машины тьюринга
- •Теоретическая справка Символьные конструкции
- •Определение машины Тьюринга (мт)
- •Задание на лабораторную работу
- •Контрольные вопросы
- •Композиция машин тьюринга
- •Теоретическая справка
- •1. Последовательная композиция машин Тьюринга
- •2. Параллельная композиция машин Тьюринга
- •3. Разветвление или условный переход в композиции машин Тьюринга
- •Задание на лабораторную работу
- •Контрольные вопросы
- •Нормальные алгоритмы маркова
- •Теоретическая справка
- •Функционирование нам
- •Задание на лабораторную работу
- •Контрольные вопросы
- •Перечень рекомендованной литературы
- •7.050102 “Программное обеспечение автоматизированных систем”,
- •7.080407 “Компьютерный эколого-экономический мониторинг ”
Перечень рекомендованной литературы
-
Алферова З.В. Теория алгоритмов. – М.: Статистика, 1973. – 164с.
-
Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука, 1960. – 392с.
-
Марков А.А., Нагорный Н.М. Теория алгорифмов. – М.: ФАЗИСТ, 1996. – 448с.
-
Міхайленко В.М., Федоренко Н.Д., Демченко В.В. Дискретна математика: Підручник. – Київ: Вид-во Європ. ун-ту, 2003. – 318с.
-
Бондаренко М.Ф., Белоус Н.В., Руткас А.Г. Компьютерная дискретная математика. – Харьков: Компания СМИТ, 2004. – 476с.
-
Трахтенброт Б. А. Алгоритмы и вычислительные автоматы. – М.: Советское радио, 1974. – 201с.
-
Андерсон Дж. Дискретная математика и комбинаторика. – М.: Мир, 2001. – 960с.
-
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Наука, 1975. – 240с.
-
Капитонова Ю.В., Кривой С.М., Летичевский А.А., Луцкий Г.М. Лекции по дискретной математике. – СПб.: БХВ-Петербург, 2004. – 624с.
-
Штерн Ю.М., Серик А.Е. Методические указания по курсу «Теория алгоритмов». – Д.: ДПИ, 1984. – 48с.
Содержание
1. Лабораторная работа №1. Рекурсивные функции 4
2. Лабораторная работа №2. Машины Тьюринга 12
3. Лабораторная работа №3. Композиции машин Тьюринга 20
4. Лабораторная работа №4. Нормальные алгоритмы Маркова 26
Перечень рекомендованной литературы
Методические указания и задания к лабораторным работам по курсам “Дискретные структуры“, “Теория алгоритмов и вычислительных процессов“ для студентов специальностей
7.050102 “Программное обеспечение автоматизированных систем”,
7.080407 “Компьютерный эколого-экономический мониторинг ”
Разработчики: Назарова И.А.,
Коломойцева И.А.