Назва модуля: Математичні методи представлення знань Код модуля

Вид материала

Документы

Подобный материал:

• Назва модуля: Економіко-математичні методи І моделі в менеджменті Код модуля: мо 6019, 56.99kb.
• Назва модуля: Математичні моделі мікро та макроекономіки Код модуля, 16.96kb.
• Назва модуля: Моделювання комплексів та систем транспортних засобів Код модуля, 88.98kb.
• Назва модуля: Теорія ймовірностей та математична статистика. Код модуля, 16.22kb.
• Назва модуля: Методика викладання курсу «Основи економічних знань» Код модуля, 41.62kb.
• Назва модуля: Методи синтезу та оптимізації Код модуля, 15.49kb.
• Назва модуля: Навчальна практика «Методи дистанційного зондування» Код модуля, 34.74kb.
• Назва модуля: Системи підтримки прийняття рішень Код модуля, 19.5kb.
• Назва модуля: Методологія та методи соціальних досліджень Код модуля, 32.23kb.
• Опис модуля Назва модуля: Ділова комунікація. Код модуля: ітпк 6020 С01, 15.02kb.

1. Назва модуля: Математичні методи представлення знань
   
2. Код модуля: АСУ_6005_С01
   
3. Тип модуля: обов’язковий
   
4. Семестр: VIIІ
   
5. Обсяг модуля: загальна кількість годин – 216 (кредитів ЄКТС – 8)
   

аудиторні години – 104 (лекції – 52, практ. занят. -26,

лаб. занят. – 26)

6. Лектор: к.ф.-м. н., Костовський Валерій Олександрович
   
7. Результати навчання:
   

У результаті вивчення модуля студент повинен:

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

8. Спосіб навчання: аудиторне
   
9. Необхідні обов’язкові попередні та супутні модулі:
   

• пререквізит: Основи дискретної математики, Логичне програмування
  
• кореквізити: -МПЗ БОС
  

10. Зміст навчальної модуля:
    

Алгоритмічні проблеми. Інтуїтивне поняття алгоритму приклади "класичних" алгоритмічних проблем. Предметні області та основні класи алгоритмів. Необхідність формалізації поняття алгоритм. Операторні та предикатні алгоритми. Рекурсивні функції на області натуральних чисел n. Кодування декартових добутків множини n. Проекція тезису черча-тьюринга на класи рекурсивних функцій на n. Рекурсивні функції на областях, що відмінні від n. Рекурсивні властивості множин та предикатів. Теорема поста. Універсальні функції для класу l . Нерекурсивні множини. . Лема про зведення нерекурсивних множин до інших. Теореми про алгоритмічні проблеми. Теорема райса. Проблеми тестування програм. Логіка висловлень (лв) в представленні знань. Логіка предикатів (лп) в представленні знань. Виводи в лв та лп. Метод резолюції: побудова випередженої форми, скулемізації і уніфікації. Логічний базис мови пролог. Математичні моделі представлення лінгвістичних знань.

11. Рекомендована література:
    

• Вітенько І.В. Конструктивні операції. Ужгород, 1972.
  
• Хромой Я.В . Математична логіка. -К.: Вища школа, 1983.
  
• Мальцев А.И. Алгоритмы и рекурсивные функции.-М.,Наука, 1965.
  
• Брой М. Информатика.-М.:Диалог,1998.
  

12. Форми та методи навчання: лекції, практичні заняття, лабораторні заняття, самостійна робота
    
13. Методи і критерії оцінювання:
    

• Поточний контроль (30%): письмові звіти з лабораторних робіт, усне та письмове опитування на практичних та лабораторних заняттях;
  
• Підсумковий контроль (70 %, екзамен).
  

14. Мова навчання: українська, англійська.