Контрольний тест ДМ-2

2 ∊ {1; 2; 3}

{2} ∊ {1; 2; 3}

{1; 3} ∊ {1; 2; 3}

a ∊ { a }

{1; 3} ∊ { {1;3} }

{2} ∊ {1; {2}; {3} }

2 ∊ { {1}; {2}; {3} }

2 ∈ А;

{ {1} } ⊆ A;

{1;2} ∈ А;

⊘ ⊆ A;

{2} ∈ А;

{1;2} ⊆ A;

{1} ∈ А;

переліченням всіх її елементів;

властивістю, якою не володіє кожен її елемент;

графічно;

характеристичною властивістю, якою володіє кожен її елемент;

матрицею;

формулою.

різницею множин A та B;

перетином множин A та B;

об’єднанням множин A та B;

різницею множин В та А;

симетричною різницею множин A та B.

різницею множин A та B;

перетином множин A та B;

об’єднанням множин A та B;

різницею множин B та A;

симетричною різницею множин A та B.

тотожним;

повним;

функціональним;

порожнім;

рефлексивним.

симетричним;

транзитивним;

рефлексивним;

антисиметричним;

антирефлексивним;

антитранзитивним.

симетричним;

транзитивним;

рефлексивним;

антисиметричним;

антирефлексивним;

антитранзитивним.

рефлексивним;

антирефлексивним;

транзитивним;

антитранзитивним;

симетричним;

антисиметричним.

рефлексивним;

антирефлексивним;

транзитивним;

антитранзитивним;

симетричним;

антисиметричним.

списком пар елементів, що перебувають у відношенні;

характеристичною властивістю, якою володіє кожен її елемент;

за допомогою матриці;

формулою;

графіком;

графом.

Dom f = A i Im f = B;

Im f = B i ∀ a₁, a₂ ∈ A ∣ a₁ ≠ a₂ => f (a₁) ≠ f(a₂)

Dom f = A

∀ a₁, a₂ ∈ A ∣ a₁ ≠ a₂ => f (a₁) ≠ f(a₂)

Im f = B.

Dom f = A i Im f = B;

Im f = B i ∀ a₁, a₂ ∈ A ∣ a₁ ≠ a₂ => f (a₁) ≠ f(a₂)

Dom f = A

∀ a₁, a₂ ∈ A ∣ a₁ ≠ a₂ => f (a₁) ≠ f(a₂)

Im f = B.

«горизонтальної» підмножини відношення;

«вертикальної» підмножини відношення;

«діагональної» підмножини відношення;

«бінарної» підмножини відношення.

обмеження відношення;

проекція відношення;

об’єднання відношень;

перетин відношень;

різниця відношень;

ділення відношень;

натуральне з’єднання відношень;

прямий добуток відношень.

кортежами;

доменами;

схемою відношення;

атрибутами;

таблицями;

відношеннями-операндами.

кортежами;

доменами;

схемою відношення;

таблицями;

відношеннями-операндами;

атрибутами.

ℤ \ {0};

ℤ \ {1};

ℤ \ {0,1};

ℝ

півгрупа;

моноїд;

група;

абелева група.

комутативна півгрупа

півгрупа;

моноїд;

комутативна півгрупа;

комутативний моноїд;

група; 

абелева група.

1;

х + 1;

немає;

5

0,0

0,1

1,0

1,1

всі змінні дорівнють одиниці;

всі змінні дорівнють нулю; 

хоча б одна змінна дорівнює одиниці;

хоча б одна змінна дорівнює нулю.

¬(х ∨ у);

¬(у → х);

х ∧ у ;

¬(х → у)

ділення;

добування кореня; 

стрілка Пірса; 

стрілка годинника.

х → z ;

x ∨ y → z;

x ∧ y → ¬z;

¬(x ∨ y) ∨ z.

x₁ ∨ x₁x₂ = x₁;

x₁ ∨ x₁x₂ = ¬x₁;

x₁(x₁∨x₂ )= ¬x₁;

x₁(x₁∨x₂ )=x₂

перетин, різниця, об’єднання, заперечення;

різниця, перетин, об’єднання, заперечення;

заперечення, об’єднання, перетин, різниця;

заперечення , перетин, об’єднання, різниця.