Назва модуля: Математична логіка І теорія алгоритмів Код модуля

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

Документы

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

• Назва модуля: Імітаційне моделювання Код модуля, 20.82kb.
• Назва модуля: Теорія ймовірностей та математична статистика. Код модуля, 16.22kb.
• Навчальна програма дисципліни " теорія алгоритмів І математична логіка" (для бакалаврів,, 481.02kb.
• Формат опису модуля, 32.75kb.
• Опис модуля назва модуля: Теорія міжнародних відносин Код модуля, 15.58kb.
• Назва модуля: Математичні методи представлення знань Код модуля, 46.86kb.
• Опис модуля Назва модуля: Ділова комунікація. Код модуля: ітпк 6020 С01, 15.02kb.
• Назва модуля: Організація автомобільних перевезень Код модуля, 59.43kb.
• Назва модуля: Фінанси підприємств Код модуля: фін 6007 С01, 16.24kb.
• Назва модуля: Фінансовий ринок Код модуля: фін 6038 С01, 15.52kb.

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

аудиторні години – 72 (лекції – ­­­36, практ. зан. – 36)

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

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

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

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

• Переквізит: лінійна алгебра, математичний аналіз
  
• Кореквізити: основи програмування та алгоритмічні мови, теорія ймовірностей, функціональний аналіз
  

10. Зміст модуля: Алгоритмічні машини (машина Тюрінга, нормальні алгоритми Маркова, блок-схеми Поста). Рекурсивні функції. Формальна арифметика. Автоматичне доведення теорем. Елементи теорії кардинальних та ординальних чисел. Елементи теорії нечітких множин.
    
11. Рекомендована література:
    

• Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика. – Львів.: Видавництво "Магнолія-2006", 2009. – 432 с.
  
• В.Липский. Комбинаторика для программистов. М.: Мир, 1988.
  
• В.А.Емеличев, О.И.Мельников, В.И.Сарванов, Р.И.Тышкевич. Лекции по теории графов. М., Наука. 1990.
  
• О.П.Кузнецов, Г.М.Адельсон-Вельский. Дискретная математика для инженера. М.: Энергоатомиздат,1988.
  
• Г.П.Гаврилов, А.А.Сапоженко. Сборник задач по дискретной математике. М.: Наука,1977.
  
• Сигорский В. П. Математический аппарат инженера. К.: Техніка, 1975. 768 с.
  

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

• Поточний контроль (40%): контрольні роботи, усне опитування
  
• Підсумковий контроль (60%, екзаменаційний контроль): тестування (40%), усна компонента (20%)
  

14. Мова навчання: українська.