1. Мета роботи
Набути вільності в операціях та алгебрі множин, розв’язуючи задачі самостійно за варіантом: обчислювати результати операцій над конкретними множинами, будувати множину-ступінь і доводити теоретико-множинні тотожності діаграмами Венна.
Виконавши роботу, студент повинен уміти:
- виконувати операції над множинами — обчислювати об’єднання , перетин та обидві різниці , для конкретних скінченних множин, а за потреби й доповнення , попередньо зазначивши універсум ;
- переходити від опису властивістю до переліку — задавати переліком множину, описану характеристичною властивістю (предикатом), перевіряючи умову на кожному кандидаті, і навпаки, читати властивість за переліком;
- будувати множину-ступінь невеликої множини, виписуючи всі її підмножини за розміром — від до самої , — і пояснювати, чому ;
- доводити тотожності діаграмами Венна — штрихувати область, яку задає теоретико-множинний вираз (працюючи «зсередини назовні»), і встановлювати рівність двох множин, порівнюючи заштриховані області лівої та правої частин;
- свідомо застосовувати закони алгебри множин — комутативність, асоціативність, дистрибутивність, закони де Моргана, різниці () та доповнення — як для перевірки результату, так і для розуміння того, що саме зображує діаграма.
Робота закріплює Лекцію 1 — Алгебра множин, випробовуючи її означення й закони на конкретних задачах. Уся потрібна теорія повторена, у самодостатньому вигляді, у методичних вказівках.