Міністерство освіти і науки України Національний університет „Львівська політехніка” Кафедра СКС Звіт про виконання лабораторної роботи №1 з дисципліни: «Дискретна математика» на тему: «Множини»  Львів-2018 Теоретичні відомості Дві множини називаються рівними, якщо кожний елемент першої множини є елементом другої множини і, навпаки, кожний елемент другої множини є елементом першої множини. З наведеного означення рівності множин випливає, що в множині однакові елементи не розрізняються. Нехай А — множина цифр трицифрового числа 312, тобто A = {3; 1; 2}, а B — множина натуральних чисел, менших від 4, тобто B = {1; 2; 3}. Оскільки ці множини складаються з  одних і  тих самих елементів, то їх вважають рівними.Це записують так:  A = B. Для нескінченних множин таким способом (порівнюючи всі елементи) установити їх рівність неможливо. Тому в загальному випадку рівність множин означають таким чином. Хід виконання роботи Розробити програмне забезпечення , яке перевіряє: властивість відношення: антирефлективність. Код програми: #include <iostream> #include <string> using namespace std; void main() { bool answ = false; int kx, ky, kz, num; char d1, d2; string symb; cout << " x y z " << endl; cout << "Enter a coeff of x: "; cin >> kx; system("cls"); cout << kx << "*x y z " << endl; cout << "Enter doing 1: "; cin >> d1; system("cls"); cout << kx << "*x " << d1 << " y z " << endl; cout << "Enter a coeff of y: "; cin >> ky; system("cls"); cout << kx << "*x " << d1 << " " << ky << "*y z " << endl; cout << "Enter doing 2: "; cin >> d2; system("cls"); cout << kx << "*x " << d1 << " " << ky << "*y " << d2 << " z " << endl; cout << "Enter a coeff of z: "; cin >> kz; system("cls"); cout << kx << "*x " << d1 << " " << ky << "*y " << d2 << " " << kz << "*z " << endl; cout << "Enter = or > or <: "; cin.ignore(255, '\n'); getline(std::cin, symb); system("cls"); cout << kx << "*x " << d1 << " " << ky << "*y " << d2 << " " << kz << "*z " << symb << endl; cout << "Enter a number: "; cin >> num; system("cls"); cout << "Your equontion: "<< kx << "*x " << d1 << " " << ky << "*y " << d2 << " " << kz << "*z " << symb << " " << num << endl; cout << "Enter to which plural belong your numbers:" << endl; char chPl; cout << "N or Z or Q or R or C" << endl; cout << "Your choice: "; cin >> chPl; system("cls"); cout << "Your equontion: " << kx << "*x " << d1 << " " << ky << "*y " << d2 << " " << kz << "*z " << symb << " " << num << endl; cout << "(x,y,z) - " << chPl << endl; double prSum, prSum1; if (d2 == '*' || d2 == '/') { switch (d2) { case '*': prSum = ky * kz; break; case '/': prSum = ky / kz; break; } switch (d1) { case '+': prSum1 = kx + prSum; break; case '-': prSum1 = kx - prSum; break; case '*': prSum1 = kx * prSum; break; case '/': prSum1 = kx / prSum; break; } } else { switch (d1) { case '+': prSum = kx + ky; break; case '-': prSum = kx - ky; break; case '*': prSum = kx * ky; break; case '/': prSum = kx / ky; break; } switch (d2) { case '+': prSum1 = prSum + kz; break; case '-': prSum1 = prSum - kz; break; } } double resDiv = num / prSum1; if (symb == "=") { switch (chPl) { case 'N': if (resDiv != int(resDiv) || resDiv <= 0) answ = true; break; case 'Z': if (resDiv != int(resDiv)) answ = true; break; } } else if (symb == "<") { switch (chPl) { case 'N': if (resDiv < 1) answ = true; break; } } else if (symb == "<=") { switch (chPl) { case 'N': if (resDiv <= 1) answ = true; break; } } else if (symb == ">") { if (resDiv < 0) answ = true; } else if (symb == ">") { if (resDiv <= 0) answ = true; } if (answ) { cout << "The relation is antireflective!" << endl; } else { cout << "The relation isn't antireflective!" << endl; } system("pause"); }
Рис. Резуль...