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

Автор(ы):

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

Заглавие:

Сборник задач по курсу "Теория вычислительных процессов" : учебное пособие

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

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

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

перейти / скачать файл

Тип:

сборники задач и упражнений

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

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

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

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

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

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

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

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

Описание ресурса в электронном каталоге НБ