Resultats de la cerca
Matèries dins de la cerca
Matèries dins de la cerca
- рекурсивные программы
- рекурсия 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
Алгоритм синтеза программ с явной и неявной рекурсией
Publicat 2008Obtenir text complet
Electrònic Capítol de llibre -
2
Рекурсивные преобразователи информации учебное пособие для вузов
Publicat Киев, Вища школа, 1987Llibre -
3
-
4
Теоретическая информатика. Доказательство правильности учеб. пособие
Publicat Новосибирск, НГТУ, 2016Obtenir text complet
Obtenir text complet
Electrònic Llibre