Конюхов, С. Л. and Храпач, О. В. (2016) Проектирование содержания и структуры онлайн-курса «Методы верификации и оптимизации программ». Университетская Наука (1). pp. 234-238. ISSN 2500-2724
![[thumbnail of Конюхов_Храпач_Мин воды.pdf]](https://eprints.mdpu.org.ua/style/images/fileicons/text.png "Конюхов_Храпач_Мин воды.pdf")
Text
Конюхов_Храпач_Мин воды.pdf
Download (1MB)
Abstract
В статье проведен обзор работ, посвященных изучению методов верификации, тестирования и
оптимизации программ в высших учебных заведениях. Выполнено проектирование содержания дисциплины
«Методы верификации и оптимизации программ», которая входит учебный план специальности
«Информатика». Обоснована необходимость разработки онлайн-ресурса для самостоятельного изучения
студентами курса и выполнено проектирование его структуры.
| Item Type: | Article |
|---|---|
| Subjects: | L Освіта > LB Теорія і практика освіти L Освіта > LB Теорія і практика освіти > LB2300 Вища освіта |
| Divisions: | Факультет інформатики, математики та економіки > Кафедра інформатики і кібернетики |
| Depositing User: | Інформатики і кібернетики кафедра |
| Date Deposited: | 07 Dec 2016 09:53 |
| Last Modified: | 02 Oct 2019 05:52 |
| URI: | https://eprints.mdpu.org.ua/id/eprint/940 |
Actions (login required)
- View Item
