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

Автор(ы):

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

Заглавие:

Доказательство правильности программ : конспект лекций по курсу "Теория вычислительных процессов"

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

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

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

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

Тип:

конспекты лекций

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

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

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

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

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

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

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

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

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