Заняття 5. Машина Поста.

Завдання. Поглибити та закріпити знання:

- сутності базових понять абстрактної машини Поста;

- сутності базових команд абстрактної машини Поста;

- мети використання машини Поста у теорії алгоритмів.

Сформулювати вміння:

- здійснювати порівняльний аналіз універсальної машина Т’юринга та машини Поста.

План заняття

1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.

2. Виконати аналіз запропонованих викладачем задач.

3. У формі дискусії здійснити порівняльний аналіз універсальної машина Т’юринга та машини Поста.

Інформаційне забезпечення

1. Перелік основних термінів і понять теми, складаний в логічному порядку.

2. Приклади типових виробничих ситуацій.

Заняття 6. Нормальні алгорифми Маркова.

Завдання. Поглибити та закріпити знання:

- сутності базових понятьнормальних алгорифмів Маркова.

. Сформулювати вміння:

- аналізувати порядок дії алгорифму Маркова;

- доводити еквівалентність машин Т’юринга та нормальних алгорифмів Маркова.

План заняття

1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.

2. Виконати аналіз запропонованих викладачем задач.

3. У формі дискусії з елементами аналізу довести еквівалентність машин Т’юринга та нормальних алгорифмів Маркова.

Інформаційне забезпечення

1. Перелік основних термінів і понять теми, складаний в логічному порядку.

2. Приклади типових виробничих ситуацій.

Заняття 7. Обчислення висловлювань. (Алгебра висловлювань).

Завдання. Поглибити та закріпити знання:

- сутності базових понять формальної теорії та її елементів.

. Сформулювати вміння:

- формувати дедуктивні та індуктивні висновки в процесі логічного виводу;

- застосовувати метод резолюцій в обчисленні висловлювань;

- проводити аксіоматичне обчислення висловлювань.

План заняття

1. Виконати формування задачі у вигляді проблемного завдання індивідуально для кожного студента.

2. Провести обговорення ключових напрямів розв’язання проблемних завдань.

Інформаційне забезпечення

1. Перелік питань для обговорення на семінарі.

2. Варіанти проблемних завдань для індивідуального виконання кожним студентом.

Заняття 8.Побудова алгоритмів.

Завдання: Поглибити і закріпити знання:

- сутності алгоритмів розв’язку задач, що можуть бути представлені у вигляді графа;

- стосовно підходів до побудови алгоритмів сортування та пошуку данних;

- особливостей застосування евристичних алгоритмів до вирішення економічних задач.

План заняття

1. Виконати формування задачі у вигляді проблемного завдання індивідуально для кожного студента.

2. Провести обговорення ключових напрямів розв’язання проблемних завдань.

3. Провести захист виконаних завдань у вигляді конференції.

Інформаційне забезпечення

1. Перелік питань для обговорення на семінарі.

2. Варіанти проблемних завдань для індивідуального виконання кожним студентом.

4.2. Плани контактних занять для студентів заочної форми навчання

Контактне заняття «Рекурсивні функції»

Мета заняття ‒ набути знання щодо понять примітивно-рекурсивних функцій та частково рекурсивних функцій; сутності базових правил визначення частково рекурсивних функцій; мети використання рекурсивних функцій у теорії алгоритмів; особливості застосування тези Черча для доведення розв’язання алгоритмічних проблем.

Заняття спрямоване на здобування компетентностей: критично мислити і генерувати креативні ідеї та вирішувати важливі проблеми на інноваційній основі; розв’язання проблем.

Використання інноваційних технологій: проблемна міні-лекція; вирішення ситуаційних вправ; розв’язання проблемних завдань.

План заняття

1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.

2. Виконати письмову контрольну роботу в аудиторії.

Інформаційне забезпечення

1. Перелік питань для обговорення на семінарі.

2. Варіанти проблемних завдань для індивідуального виконання кожним студентом.

Контактне заняття « Машина Поста »

Мета заняття ‒ набути знання щодо сутності базових понять абстрактної машини Поста; сутності базових команд абстрактної машини Поста; мети використання машини Поста у теорії алгоритмів; вміння реалізації алгоритмів в кодах команд машини Поста.

Заняття спрямоване на здобування компетентностей: критично мислити і генерувати креативні ідеї та вирішувати важливі проблеми на інноваційній основі; розв’язання проблем.

Використання інноваційних технологій: проблемна міні-лекція; вирішення ситуаційних вправ; розв’язання проблемних завдань.

План заняття

1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.

2. Виконати аналіз запропонованих викладачем задач.

3. У формі дискусії здійснити порівняльний аналіз універсальної машина Т’юринга та машини Поста.

Інформаційне забезпечення

1. Перелік питань для обговорення на семінарі.

2. Варіанти проблемних завдань для індивідуального виконання кожним студентом.

Контактне заняття « Обчислення висловлювань. (Алгебра висловлювань) »

Мета заняття ‒ набути знання щодо базових понять формальної теорії та її елементів. формування дедуктивних та індуктивних висновків у процесі логічного виводу; застосування методу резолюцій в обчисленні висловлювань.

Заняття спрямоване на здобування компетентностей: критично мислити і генерувати креативні ідеї та вирішувати важливі проблеми на інноваційній основі; розв’язання проблем.

Використання інноваційних технологій: проблемна міні-лекція; вирішення ситуаційних вправ; розв’язання проблемних завдань.

План заняття

1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.

2. Виконати аналіз запропонованих викладачем задач.

3. У формі дискусії з елементами аналізу обговорити можливі напрями розв’язання типових виробничих завдань.

Інформаційне забезпечення

1. Перелік питань для обговорення на семінарі.

2. Варіанти проблемних завдань для індивідуального виконання кожним студентом.

4.3. Плани навчальної роботи для студентів заочної форми навчання в міжсесійний період

У міжсесійний період студенти заочної форми навчання виконують домашнє індивідуальне завдання. або індивідуальну роботу-онлайн. Форма подання є електронною або письмовою. Звіт про виконання роботи подається до п’ятого жовтня та відповідно до двадцять п’ятого жовтня на кафедру або на електронну пошту викладача. Захист і обговорення результатів відбувається за графіком «Дня заочника».

На власний розсуд студент може обрати до виконання також один із наступних видів робіт: аналітичний (критичний) огляд наукових публікацій; аналітичний звіт власних наукових досліджень; підготовка презентації; виконання завдань в рамках дослідницьких проектів кафедри (факультету). Форма подання є електронною або письмовою. Звіт до виконання роботи поєдаться індивідуально викладачу за графіком «Дня заочника». Захист і обговорення результатів відбувається за графіком «Дня заочника».

5. Самостійна робота студентів

Самостійна робота студента забезпечується системою навчально-методичних засобів: навчальним посібником, навчально-методичним посібником для самостійного вивчення дисципліни, методичними матеріалами щодо змісту та організації самостійної роботи студентів, поточного і підсумкового контролю їх знань.

Для самостійного вивчення матеріалу програмою дисципліни передбачено виконання завдань, обсяг і зміст яких охоплює основні питання усіх тем. По кожній темі студент зобов'язаний виконати усі завдання теми, скласти звіт і захистити його на персональному комп'ютері якщо це входить до плану заняття.

Методичні вказівки до вивчення дисципліни розміщені на сервері університету.

Самостійна робота студента над дисципліною полягає в опануванні теоретичного матеріалу курсу, розв'язанні задач.

Перелік завдань для самостійної роботи, форми самостійної роботи студента, види семінарських (практичних, лабораторних) занять, та кількість балів, які можна отримати за виконання завдань з СРС наведено у карті самостійної роботи студентів.

6. Поточний та підсумковий контроль знань.

Не нашли, что искали? Воспользуйтесь поиском: