Программа дисциплины о. 17 «теория алгоритмов и вычислительных процессов»



Pdf көрінісі
бет4/9
Дата23.01.2023
өлшемі487,97 Kb.
#62533
түріПрограмма
1   2   3   4   5   6   7   8   9
Байланысты:
B1.O.17 Teorija algoritmov i vychislitel\'nyh processov 2021

 
 
16-22 
 
 

Определение функций, построенных суперпозицией и 
примитивной рекурсией из заданных функций. Доказательство 
примитивной рекурсивности заданных числовых функций. 
Определение функций, построенных минимизацией из заданных 
функций. Неканторовские нумерации числовых наборов. 
Рекурсивность и рекурсивная перечислимость заданных 
множеств. 
23−25 

Построение различных сетей Петри и диаграмм маркировок. 
 
2.3.4 Примерная тематика курсовых работ (проектов) 
 
Учебным планом не предусмотрены. 
2.3.5 Самостоятельное изучение разделов дисциплины 
 
Раздел 1. Примеры неразрешимых задач: квадратура круга, трисекция угла, удвоение 
куба. Неразрешимые проблемы в логике, алгебре, геометрии. 
Раздел 2. Различные формы задания автоматных моделей вычислителей. Машины с 
неограниченными регистрами. Продукционные системы Поста. 
Раздел 4. Метод сведения одной алгоритмической проблемы к другой проблеме. 
Неразрешимость алгоритмической проблемы на основе диагональной конструкции
Раздел 5. Универсальная функция для класса примитивно рекурсивных функций. 
Характеризации рекурсивно перечислимых множеств. Быстро растущие функции. 
Раздел 6. Использование сетей Петри для спецификации взаимодействия подсистем. 


3. Образовательные технологии 
Семестр 
Вид занятия 
(Л, ПР, ЛР) 
Используемые интерактивные 
образовательные технологии 
Количество 
часов 
 

Л 
Компьютерные презентации и обсуждение 
34 
ЛР 
Программирование алгоритмов для 
интерпретаторов Никитина и Полякова для 
50 
машин Тьюринга и нормального алгоритма 
Маркова. 
Итого: 
84 


Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет