Новосибирский государственный технический университет

Электронно-библиотечная система
Портал НГТУ
Главная (ЭБС)

Работа с ЭБС для студентов и преподавателей НГТУ

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

Автор(ы): Веретельникова Е. Л.
Заглавие: Теоретическая информатика : учебное пособие
Выходные данные: Новосибирск, [2015]
Полный текст: перейти / скачать файл
Тип: неофициальные ресурсы (учебное пособие)
Предметная область: программирование (рубрика "вычислительная техника")
программирование
информатика (рубрика "вычислительная техника")
информатика
вычислительная техника
вычислительная техника (рубрика "программирование")
Ключевые слова: неофициальные ресурсы
электронные ресурсы
доказательство
инвариантность
инвариант цикла
индуктивные утверждения
математическая индукция
Кафедра/
подразделение-разработчик:
каф. АВТ (факультет АВТФ)
Лицензионные договоры: внесен лицензионный договор для автора Веретельникова Е.Л.

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

© 2011-2020, Новосибирский государственный технический университет

Консультационная поддержка ЭБС НГТУ: Научная библиотека, 1 корпус, к. 110, 112, тел.: +7 (383) 346 02 46, +7 (383) 346 29 43 (доп. 31-63), эл. почта: 

Техническая поддержка ЭБС НГТУ: Центр информатизации университета, 1 корпус, к. 301а, 301, 306, тел.: +7 (383) 346 02 68, эл. почта: