Спеціальні розділи математики в кібербезпеці. Методичні вказівки до практичних занять по темі «Основи математичної логіки» для здобувачів першого (бакалаврського) рівня вищої освіти спеціальності F5 Кібербезпека та захист інформації

Abstract

В методичних вказівках до практичних занять по темі «Основи математичної логіки» дисципліни «Спеціальні розділи математики в кібербезпеці» розглянуті питання рівносильності формул алгебри логіки та способів перевірки рівносильності за допомогою рівносильних перетворень, питання побудови (досконалих) диз'юнктивної й кон'юнктивной нормальних форм шляхом рівносильних перетворень логічних формул. Надається велика кількість прикладів на застосування рівносильних перетворень. Запропоновані завдання для самостійної роботи з наведеними відповідями, що дозволяє використовувати їх здобувачами для самоперевірки