Математична логіка
Викладач: Процай Наталія Тимофіївна, к.т.н., доцент
Освітньо-кваліфікаційний рівень: Бакалаври
Спеціальність: 113 «Прикладна математика»
Спеціалізація: 113-01 «Інтелектуальний аналіз даних»
Кількість кредитів (годин): 4 (120)
Види навчальних занять: Лекції, практичні заняття
Мета дисципліни, опис знань та навичок, які вона дає:
Мета викладання дисципліни – навчити студентів основам теорії множин, сучасної алгебри та алгебри логіки. Сформувати у них функціональні та предметно-видові знання з даного курсу. Опанувати навики розв’язання задач, пов’язаних з теорією множин та булевою алгеброю.
Студент повинен знати:
- елементи теорії множин (способи задання множин, їх геометричну інтерпретацію);
- функції алгебри логіки та їх властивості,
- закони і тотожності алгебри логіки; поняття двоїстості функції;
- теорема про розкладання функції за змінним;
- алгебра Жегалкіна, система тотожностей алгебри Жегалкіна;
- теорема Поста про повноту та класи Поста;
- методи побудови скорочених ДНФ (геометричний метод, метод карт Карно, метод Блейка, метод Нельсона, метод Квайна-мак-Класкі, таблиця покриття, тупікова та мінімальна ДНФ).
Студент повинен вміти:
- виконувати операції над множинами;
- мінімізувати булеві функції;
- будувати СДНФ та СКНФ булевих функцій;
- будувати поліном Жегалкіна;
- будувати мінімальні ДНФ та КНФ.