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

Автор(ы):

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

Заглавие:

Теоретическая информатика. Доказательство правильности : учебное пособие

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

Новосибирск : Изд-во НГТУ, 2016

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

Тип:

учебные пособия

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

вычислительная техника

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

блок-схемы программ
математическая индукция
метод индуктивных утверждений
рекурсивные программы
структурная индукция

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

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

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

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