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