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

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

Код модуля: ІСМ_6067_С01

Тип модуля: обов’язковий

Семестр: III

Обсяг модуля: загальна кількість годин – 180 (кредитів ЄКТС – 5)

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

Лектор: к.ф.-м.н, доцент Нікольський Юрій Володимирович

Результати навчання:

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

складання машин Тюрінга для розв’язання алгоритмічних задач;

перевірка арифметичної функції на рекурсивність;

втоматичне доведення теорем;

обчислення образів відображень нечітких множин.

Спосіб навчання: аудиторне

Необхідні обов’язкові попередні та супутні модулі:

Переквізит: лінійна алгебра, математичний аналіз

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

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

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

Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика. – Львів.: Видавництво "Магнолія-2006", 2009. – 432 с.

В.Липский. Комбинаторика для программистов. М.: Мир, 1988.

В.А.Емеличев, О.И.Мельников, В.И.Сарванов, Р.И.Тышкевич. Лекции по теории графов. М., Наука. 1990.

О.П.Кузнецов, Г.М.Адельсон-Вельский. Дискретная математика для инженера. М.: Энергоатомиздат,1988.

Г.П.Гаврилов, А.А.Сапоженко. Сборник задач по дискретной математике. М.: Наука,1977.

Сигорский В. П. Математический аппарат инженера. К.: Техніка, 1975. 768 с.

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

Методи та критерії оцінювання:

Поточний контроль (40%): контрольні роботи, усне опитування

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

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