Электронно-библиотечная система НГТУ / Информация о ресурсе
Подождите, идет поиск...Информация о ресурсе
| Автор(ы): | Веретельникова Е. Л. |
| Заглавие: | Сборник задач по курсу "Теория вычислительных процессов" : учебное пособие |
| Выходные данные: | Новосибирск : Изд-во НГТУ, 2006 |
| Полный текст: |
перейти / скачать файл |
| Тип: | сборники задач и упражнений |
| Предметная область: |
вычислительная техника |
| Ключевые слова: |
математическая индукция блок-схемы программ метод индуктивных утверждений формализация доказательства аксиоматический подход рекурсивные программы доказательство правильности программ |
| Кафедра/ подразделение-разработчик: |
каф. АВТ (факультет АВТФ) |
| Лицензионные договоры: | внесен лицензионный договор для автора Веретельникова Е.Л. |
Описание ресурса в электронном каталоге НБ