Որոնման արդյունքները
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
- рекурсивные программы
- рекурсия 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Ստացեք ամբողջական տեքստը
Ստացեք ամբողջական տեքստը
Էլեկտրոնային Գիրք