04-05-10 Карпович, І. М. та Гладка, О. М. та Зубик, Л. В. (2018) Методичні вказівки до лабораторних занять та самостійного вивчення навчальної дисципліни ”Математична логіка і теорія алгоритмів” для здобувачів вищої освіти першого (бакалаврського) рівня за спеціальністю 126 “Інформаційні системи та технології” денної та заочної форм навчання. [Методичне забезпечення]
|
Text
04-05-10_вип (1).pdf Download(1MB) | Перегляд |
Анотація
Процес створення комп'ютерної програми для розв’язання практичного завдання містить у собі формалізацію цього завдання, розробку обчислювального алгоритму, написання та відлагодження програми, аналіз отриманих результатів. Механізм реалізації алгоритмічного процесу зручно простежити на алгоритмічних моделях, що використовують набори найпростіших об'єктів і елементарних операцій. Вміщені в методичних вказівках лабораторні роботи сприяють опануванню студентами прийомами розробки й аналізу алгоритмів, використовуючи основні положення теорії. Підготовка до лабораторної роботи та її захисту передбачає опрацювання відповідного теоретичного матеріалу, який міститься в курсі лекцій, переліку рекомендованої літератури, включаючи електронні джерела інформації та актуальні періодичні видання з інформаційних технологій. Для виконання лабораторної роботи студентові необхідно розробити алгоритм, оцінити його складність, проаналізувати альтернативні варіанти і вибрати оптимальний за трудомісткістю алгоритм, після чого скласти програму для виконання завдання. Вибір відповідного програмного засобу здійснюється студентом на основі власного досвіду. До захисту лабораторної роботи необхідно описати алгоритм, подати текст програми та продемонструвати контрольний приклад виконання програми. Під час захисту лабораторної роботи студент повинен продемонструвати знання мети роботи, теоретичного матеріалу, методів виконання кожного етапу роботи, змісту основних розділів звіту з демонстрацією результатів на конкретних прикладах, практичних прийомів використання теоретичного матеріалу в розробленому програмному забезпеченні. Крім того, для успішного захисту роботи студент повинен відповісти на контрольні запитання, вміщені наприкінці опису відповідної роботи.
Тип елементу : | Методичне забезпечення |
---|---|
Ключові слова: | 04-05-10, математична логіка, теорія алгоритмів |
Шифр: | 04-05-10 |
За видами робіт: | Лабораторні роботи |
Тематики: | Шифр галузі знань > 12 Інформаційні технології > 126 Інфомаційні системи і технології |
Підрозділи: | Навчально-науковий інститут автоматики, кібернетики та обчислювальної техніки > Комп’ютерних наук |
Користувач, що депонує: | libr_1 Г. М. Рожанчук |
Дата внесення: | 29 Жов 2018 09:59 |
Останні зміни: | 29 Жов 2018 09:59 |
URI: | http://ep3.nuwm.edu.ua/id/eprint/11804 |
Перегляд елементу |
Завантажень
Завантажень за місяць протягом останнього року