Поиск
Закладки
Озвучивание недоступно Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Теория алгоритмов: Учебное пособие

Глава 2. ТЕОРИИ РЕКУРСИВНЫХ ФУНКЦИЙ

Предыдущая страница

Следующая страница

Глава 2. ТЕОРИИ РЕКУРСИВНЫХ ФУНКЦИЙ
На предыдущую главу Предыдущая глава
оглавление
Следующая глава На следующую главу

Оглавление

Глава 2. ТЕОРИИ РЕКУРСИВНЫХ ФУНКЦИЙ-
2.1. Примитивно рекурсивные функции. Базис элементарных функций. Операции подстановки и примитивной рекурсии. Основные свойства
2.2. Примитивно рекурсивные функции относительно совокупности функций. Основные свойства
2.3. Производные операции над функциями
2.4. Операции конечного суммирования и конечного произведения
2.5. Предикат, логическая функция. Логические операции с предикатами
2.6. Операции навешивания кванторов. Операции навешивания кванторов относительно двуместных предикатов
2.7. Примитивно рекурсивный предикат
2.8. Операция навешивания ограниченного квантора над предикатами
2.9. Кусочное задание функции
2.10. Операция ограниченной минимизации
2.11. Частично рекурсивные функции
2.12. Правильная вычислимость функции по Тьюрингу. Эквивалентность двух уточнений алгоритма
Контрольные вопросы
Практические задания
Данный блок поддерживает скрол*