Модульна контрольна робота №1
Перелік тем
Логіко-математична символіка, властивості логічних зв’язок
Операції над множинами та їх властивості
Сім’ї множин. Операції над ними. Покриття, розбиття.
(тобто глави 1, 2 методички та задачі до цих глав)
Контрольна робота може містити завдання таких типів:
1. Продовжити формулювання.
Наприклад.
1) 
; у відповідь треба дописати праву частину відповідного закону логіки, можливі закони з кванторами
2) 
; у відповідь треба замість? поставити один зі знаків 
, що найбільш пасує ситуації, та дописати праву частину
2. Чи правильно, що …? (аналогічно задачам 3-5 до глави 2)
3. Обчислити результат теоретико-множинної операції над конкретними множинами. Наприклад, 
.
4. Довести теоретико-множинну тотожність без використання таблиць та діаграм (аналогічно задачам 12-15 до глави 2).
5. Довести теоретико-множинне співвідношення (аналогічно задачі 18 до глави 2).
6. Перевірити, чи є одна множина покриттям/ розбиттям іншої. Відповідь обґрунтувати. Наприклад: чи є множина 
покриттям та розбиттям множини 
?
7. Записати твердження логіко-математичною символікою, розклавши його на складові (аналогічно задачам 1-4 до глави 1).
8. Перевірити твердження на еквівалентність та логічний висновок. Відповідь обґрунтувати.
Наприклад:
Чи правильно, що 
?
Чи правильно, що 
, якщо Q не містить змінної x?
Гарантовано, що на модульній контрольній будуть завдання тільки перерахованих типів.
УВАГА! Решта типів задач до глави 2, що не увійшли в зазначений перелік, не виключаються з екзаменаційного переліку задач.
