- •Міністерство освіти і науки україни
- •Самостійної роботи студентів, поточного і підсумкового контролю їх знань
- •Київ кнеу 2015
- •1. Вступ
- •2. Тематичний план дисципліни
- •3. Зміст науки за темами
- •4.2. Плани контактних занять для студентів заочної форми навчання Контактне заняття «Рекурсивні функції»
- •План заняття
- •Інформаційне забезпечення
- •План заняття
- •Інформаційне забезпечення
- •План заняття
- •Інформаційне забезпечення
- •4.3. Плани навчальної роботи для студентів заочної форми навчання в міжсесійний період
- •5. Самостійна робота студентів
- •6. Поточний та підсумковий контроль знань.
- •6.1. Очна форма навчання карта самостійної роботи студента
- •Порядок поточного і підсумкового оцінювання знань з науки
- •6.2. Заочна форма навчання карта самостійної роботи студента
- •Довідкова інформація:
- •9. Рекомендована література (основна і додаткова)
4.2. Плани контактних занять для студентів заочної форми навчання Контактне заняття «Рекурсивні функції»
Мета заняття ‒ набути знання щодо понять примітивно-рекурсивних функцій та частково рекурсивних функцій; сутності базових правил визначення частково рекурсивних функцій; мети використання рекурсивних функцій у теорії алгоритмів; особливості застосування тези Черча для доведення розв’язання алгоритмічних проблем.
Заняття спрямоване на здобування компетентностей: критично мислити і генерувати креативні ідеї та вирішувати важливі проблеми на інноваційній основі; розв’язання проблем.
Використання інноваційних технологій: проблемна міні-лекція; вирішення ситуаційних вправ; розв’язання проблемних завдань.
План заняття
1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.
2. Виконати письмову контрольну роботу в аудиторії.
Інформаційне забезпечення
1. Перелік питань для обговорення на семінарі.
2. Варіанти проблемних завдань для індивідуального виконання кожним студентом.
Контактне заняття «Машина Поста»
Мета заняття ‒ набути знання щодо сутності базових понять абстрактної машини Поста; сутності базових команд абстрактної машини Поста; мети використання машини Поста у теорії алгоритмів; вміння реалізації алгоритмів в кодах команд машини Поста.
Заняття спрямоване на здобування компетентностей: критично мислити і генерувати креативні ідеї та вирішувати важливі проблеми на інноваційній основі; розв’язання проблем.
Використання інноваційних технологій: проблемна міні-лекція; вирішення ситуаційних вправ; розв’язання проблемних завдань.
План заняття
1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.
2. Виконати аналіз запропонованих викладачем задач.
3. У формі дискусії здійснити порівняльний аналіз універсальної машина Т’юринга та машини Поста.
Інформаційне забезпечення
1. Перелік питань для обговорення на семінарі.
2. Варіанти проблемних завдань для індивідуального виконання кожним студентом.
Контактне заняття «Обчислення висловлювань. (Алгебра висловлювань)»
Мета заняття ‒ набути знання щодо базових понять формальної теорії та її елементів. формування дедуктивних та індуктивних висновків у процесі логічного виводу; застосування методу резолюцій в обчисленні висловлювань.
Заняття спрямоване на здобування компетентностей: критично мислити і генерувати креативні ідеї та вирішувати важливі проблеми на інноваційній основі; розв’язання проблем.
Використання інноваційних технологій: проблемна міні-лекція; вирішення ситуаційних вправ; розв’язання проблемних завдань.
План заняття
1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.
2. Виконати аналіз запропонованих викладачем задач.
3. У формі дискусії з елементами аналізу обговорити можливі напрями розв’язання типових виробничих завдань.
Інформаційне забезпечення
1. Перелік питань для обговорення на семінарі.
2. Варіанти проблемних завдань для індивідуального виконання кожним студентом.