Информация о ресурсе

Автор(ы):

Веретельникова Е. Л.

Заглавие:

Теоретическая информатика : учебное пособие

Выходные данные:

Новосибирск, [2015]

Полный текст:

Тип:

неофициальные ресурсы (учебное пособие)

Предметная область:

информатика
вычислительная техника

Ключевые слова:

неофициальные ресурсы
электронные ресурсы
доказательство
инвариантность
инвариант цикла
индуктивные утверждения
математическая индукция

Кафедра/
подразделение-разработчик:

каф. АВТ (факультет АВТФ)

Лицензионные договоры:

внесен лицензионный договор для автора Веретельникова Е.Л.