Математична логіка

Викладач: Процай Наталія Тимофіївна, к.т.н., доцент

Освітньо-кваліфікаційний рівень: Бакалаври

Спеціальність: 113 «Прикладна математика»

Спеціалізація: 113-01 «Інтелектуальний аналіз даних»

Кількість кредитів (годин): 4 (120)

Види навчальних занять: Лекції, практичні заняття

Мета дисципліни, опис знань та навичок, які вона дає:

Мета викладання дисципліни – навчити студентів основам теорії множин, сучасної алгебри та алгебри логіки. Сформувати у них функціональні та предметно-видові знання з даного курсу. Опанувати навики розв’язання задач, пов’язаних з теорією множин та булевою алгеброю.

Студент повинен знати:

  • елементи теорії множин (способи задання множин, їх геометричну інтерпретацію);
  • функції алгебри логіки та їх властивості,
  • закони і тотожності алгебри логіки; поняття двоїстості функції;
  • теорема про розкладання функції за змінним;
  • алгебра Жегалкіна, система тотожностей алгебри Жегалкіна;
  • теорема Поста про повноту та класи Поста;
  • методи побудови скорочених ДНФ (геометричний метод, метод карт Карно, метод Блейка, метод Нельсона, метод Квайна-мак-Класкі, таблиця покриття, тупікова та мінімальна ДНФ).

Студент повинен вміти:

  • виконувати операції над множинами;
  • мінімізувати булеві функції;
  • будувати СДНФ та СКНФ булевих функцій;
  • будувати поліном Жегалкіна;
  • будувати мінімальні ДНФ та КНФ.