Программа дисциплины о. 17 «теория алгоритмов и вычислительных процессов»
жүктеу/скачать 487,97 Kb. Pdf көрінісі
|
- Бұл бет үшін навигация:
- 3. Образовательные технологии
|
16-22 5 Определение функций, построенных суперпозицией и примитивной рекурсией из заданных функций. Доказательство примитивной рекурсивности заданных числовых функций. Определение функций, построенных минимизацией из заданных функций. Неканторовские нумерации числовых наборов. Рекурсивность и рекурсивная перечислимость заданных множеств. 23−25 6 Построение различных сетей Петри и диаграмм маркировок. 2.3.4 Примерная тематика курсовых работ (проектов) Учебным планом не предусмотрены. 2.3.5 Самостоятельное изучение разделов дисциплины Раздел 1. Примеры неразрешимых задач: квадратура круга, трисекция угла, удвоение куба. Неразрешимые проблемы в логике, алгебре, геометрии. Раздел 2. Различные формы задания автоматных моделей вычислителей. Машины с неограниченными регистрами. Продукционные системы Поста. Раздел 4. Метод сведения одной алгоритмической проблемы к другой проблеме. Неразрешимость алгоритмической проблемы на основе диагональной конструкции. Раздел 5. Универсальная функция для класса примитивно рекурсивных функций. Характеризации рекурсивно перечислимых множеств. Быстро растущие функции. Раздел 6. Использование сетей Петри для спецификации взаимодействия подсистем. 3. Образовательные технологии Семестр Вид занятия (Л, ПР, ЛР) Используемые интерактивные образовательные технологии Количество часов 4 Л Компьютерные презентации и обсуждение 34 ЛР Программирование алгоритмов для интерпретаторов Никитина и Полякова для 50 машин Тьюринга и нормального алгоритма Маркова. Итого: 84 жүктеу/скачать 487,97 Kb. Достарыңызбен бөлісу:
|