ТОР 5 статей:
Методические подходы к анализу финансового состояния предприятия
Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века
Характеристика шлифовальных кругов и ее маркировка
Служебные части речи. Предлог. Союз. Частицы
КАТЕГОРИИ:
- Археология
- Архитектура
- Астрономия
- Аудит
- Биология
- Ботаника
- Бухгалтерский учёт
- Войное дело
- Генетика
- География
- Геология
- Дизайн
- Искусство
- История
- Кино
- Кулинария
- Культура
- Литература
- Математика
- Медицина
- Металлургия
- Мифология
- Музыка
- Психология
- Религия
- Спорт
- Строительство
- Техника
- Транспорт
- Туризм
- Усадьба
- Физика
- Фотография
- Химия
- Экология
- Электричество
- Электроника
- Энергетика
Тема7. Обчислення висловлювань. (Алгебра висловлювань).
Мова, системи аксіом, основні правила виводу обчислення висловлювань. Похідні правила виводу в обчисленні висловлювань. Теорема дедукції. Правила логічного висновку. Дедуктивні та індуктивні висновки. Метод резолюцій в обчисленні висловлювань. Проблеми аксіоматичного обчислення висловлювань.
Тема8 Побудова алгоритмів.
Алгоритми на графах, пошук у глибину, пошук найкоротшого шляху. Алгоритми сортування та пошуку даних. Евристичні алгоритми. Генетичні алгоритми.
Плани занять
4.1. Плани семінарських (практичних, лабораторних) занять для
студентів очної форми навчання
Заняття 1.Алгоритми та їх властивості.
Завдання. Сформулювати вміння:
- аналізувати властивості алгоритмів
- здійснювати побудову алгоритмів у відповідній формі подання.
План заняття
1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.
2. Виконати аналіз запропонованих викладачем задач.
3. У формі розгорнутої бесіди обговорити переваги та недоліки різноманітних визначень базових понять теорії алгоритмів.
Інформаційне забезпечення
1. Перелік основних термінів і понять теми, складаний в логічному порядку.
2. Приклади типових виробничих ситуацій.
Заняття 2.Прикладна теорія алгоритмів.
Завдання. Сформулювати вміння:
- класифікувати інформаційні структури даних;
- здійснювати аналіз етапів розробки алгоритму;
- аналізувати методи розробки алгоритмів (структурне програмування, рекурсія, евристичні та наближені алгоритми).
План заняття
1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.
2. Виконати аналіз запропонованих викладачем задач.
3. У формі розгорнутої бесіди обговорити переваги та недоліки методів розробки алгоритмів (структурне програмування, рекурсія, евристичні та наближені алгоритми).
Інформаційне забезпечення
1. Перелік основних термінів і понять теми, складаний в логічному порядку.
2. Приклади типових виробничих ситуацій.
Заняття 3. Рекурсивні функції.
Завдання. Поглибити та закріпити знання:
- сутності поняття рекурсивних функцій та частково рекурсивних функцій;
- сутності базових правил визначення частково рекурсивних функцій;
- мети використання рекурсивних функцій у теорії алгоритмів;
- особливості застосування тези Черча для доведення розв’язання алгоритмічних проблем.
План заняття
1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.
2. Виконати аналіз запропонованих викладачем задач.
3. У формі дискусії з елементами аналізу обговорити можливі напрями розв’язання типових виробничих завдань.
Інформаційне забезпечення
1. Перелік основних термінів і понять теми, складаний в логічному порядку.
2. Приклади типових виробничих ситуацій.
Заняття 4.Машина Т’юринга.
Завдання. Поглибити та закріпити знання:
- сутності базових понять абстрактної машини Т’юринга;
- сутності операцій, що проводять над машина Т’юринга.;
- мети використання машини Т’юринга у теорії алгоритмів.
Сформулювати вміння:
- особливостей застосування універсальної машина Т’юринга для розв’язку алгоритмічних задач.
План заняття
1. Провести письмове опитування, з'ясувати рівень засвоєння студентами термінів і понять цієї теми.
2. Виконати аналіз запропонованих викладачем задач.
3. У формі дискусії з елементами аналізу обговорити можливі напрями розв’язання типових алгоритмічних задач за допомогою універсальної машина Т’юринга.
Інформаційне забезпечення
1. Перелік основних термінів і понять теми, складаний в логічному порядку.
2. Приклади типових виробничих ситуацій.
Не нашли, что искали? Воспользуйтесь поиском: