ЗМІСТ
РОЗДІЛ 1. Основні теоретичні відомості з модуля логіки предикатів.. 6
1.1. Предикати. Логічні операції над предикатами. 6
1.2. Класифікація формул логіки предикатів. Логічне слідування. 10
1.3. Рівносильні формули. Нормальні форми. 14
РОЗДІЛ 2. МЕТОДИЧНА РОЗРОБКА З МОДУЛЯ «ЛОГІКА ПРЕДИКАТІВ» 20
2.1. Приклади розв’язання практичних завдань до підрозділів модуля логіки предикатів. 20
2.2.1. Предикати. Логічні операції над предикатами. 20
2.2.2. Класифікація формул логіки предикатів. Логічне слідування. 26
2.2.3. Рівносильні формули. Нормальні форми. 38
2.2. Тестові завдання для контролю знань і вмінь з даного модуля. 47
РОЗДІЛ 3. МЕТОДИКА ТЕСТУВАННЯ СТУДЕНТІВ ПРИ ВИВЧЕННІ МОДУЛЯ «ЛОГІКА ПРЕДИКАТІВ» 51
3.1 Організація та методика проведення тестування. 51
3.2 Методика обробки емпіричних даних. 53
3.3 Математико-статистична обробка емпіричних даних. Інтерпретація результатів обробки. 68
СПИСОК ВИКОРИСТАНИХ ДЖЕРЕЛ.. 86
Додаток А. Тестові завдання для контролю знань модуля «Логіка предикатів» 89
Додаток Б. Відповіді на тестові завдання. 106