Результаты поиска
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
- рекурсивные программы
- рекурсия 2
- Вычислительные машины электронные Программы 1
- Преобразователи информации 1
- алгоритмический анализ 1
- алгоритмы 1
- алгоритмы синтеза 1
- блок-схемы 1
- доказательство правильности 1
- затраты 1
- индуктивные утверждения 1
- логические выводы 1
- математическая индукция 1
- оптимизация 1
- подпрограммы 1
- полиномиальная функция 1
- программирование 1
- программы обслуживающие 1
- рекурсивные подсхемы 1
- семинары 1
- синтез 1
- синтезирующие программы 1
- структурная индукция 1
- структурное программирование 1
- теоретические результаты 1
- трансляторы 1
- труды учёных ТПУ 1
- условия 1
- учебные пособия 1
- функциональное программирование 1
-
1
Алгоритм синтеза программ с явной и неявной рекурсией
Опубликовано 2008Полный текст
Электронный ресурс Статья -
2
Рекурсивные преобразователи информации учебное пособие для вузов
Опубликовано Киев, Вища школа, 1987Книга -
3
-
4
Теоретическая информатика. Доказательство правильности учеб. пособие
Опубликовано Новосибирск, НГТУ, 2016Полный текст
Полный текст
Электронный ресурс Книга