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