МДПУ репозиторій

Проектирование содержания и структуры онлайн-курса «Методы верификации и оптимизации программ»

Конюхов, С. Л. та Храпач, О. В. (2016) Проектирование содержания и структуры онлайн-курса «Методы верификации и оптимизации программ». Университетская Наука (1). с. 234-238. ISSN 2500-2724

[img] Text
Конюхов_Храпач_Мин воды.pdf

Скачати (1MB)

Резюме

В статье проведен обзор работ, посвященных изучению методов верификации, тестирования и оптимизации программ в высших учебных заведениях. Выполнено проектирование содержания дисциплины «Методы верификации и оптимизации программ», которая входит учебный план специальности «Информатика». Обоснована необходимость разработки онлайн-ресурса для самостоятельного изучения студентами курса и выполнено проектирование его структуры.

Тип елементу : Стаття
Теми: L Освіта > LB Теорія і практика освіти
L Освіта > LB Теорія і практика освіти > LB2300 Вища освіта
Підрозділи: Факультет інформатики, математики та економіки > Кафедра інформатики і кібернетики
Користувач, що депонує: Кафедра інформатики і кібернетики
Дата внесення: 07 Груд 2016 09:53
Останні зміни: 02 Жов 2019 05:52
URI: http://eprints.mdpu.org.ua/id/eprint/940

Виконати (потребує авторізації)

Перегляд елементу Перегляд елементу