Электронно-библиотечная система НГТУ / Информация о ресурсе
Подождите, идет поиск...Информация о ресурсе
| Автор(ы): | Веретельникова Е. Л. |
| Заглавие: | Теоретическая информатика. Доказательство правильности : учебное пособие |
| Выходные данные: | Новосибирск : Изд-во НГТУ, 2016 |
| Полный текст: |
перейти / скачать файл |
| Тип: | учебные пособия |
| Предметная область: |
вычислительная техника |
| Ключевые слова: |
блок-схемы программ математическая индукция метод индуктивных утверждений рекурсивные программы структурная индукция |
| Кафедра/ подразделение-разработчик: |
каф. АВТ (факультет АВТФ) |
| Лицензионные договоры: | внесен лицензионный договор для автора Веретельникова Е.Л. |
Описание ресурса в электронном каталоге НБ