Презентация семинар 3 (1076834), страница 3

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 3)

Найти D(ρ) , R(ρ) , ρ−1 , ρ ◦ ρ , ρ−1 ◦ ρ , ρ ◦ ρ−1 для отношения:• First • Prev • Next • Last • Go Back • Full Screen • Close • QuitЗадачи3.1. Найти D(ρ) , R(ρ) , ρ−1 , ρ ◦ ρ , ρ−1 ◦ ρ , ρ ◦ ρ−1 для отношения:ρ = {(x, y) | x, y ∈ [0, 1], 2x ≥ 3y}.• First • Prev • Next • Last • Go Back • Full Screen • Close • QuitЗадачи3.1. Найти D(ρ) , R(ρ) , ρ−1 , ρ ◦ ρ , ρ−1 ◦ ρ , ρ ◦ ρ−1 для отношения:ρ = {(x, y) | x, y ∈ [0, 1], 2x ≥ 3y}.3.2. Доказать, что для любых бинарных отношений ρ1 , ρ2 , ρ3 ∈ A×A :(а) ρ1 ∩ ρ1 = ρ1 ∪ ρ1 = ρ1 ;• First • Prev • Next • Last • Go Back • Full Screen • Close • QuitЗадачи3.1. Найти D(ρ) , R(ρ) , ρ−1 , ρ ◦ ρ , ρ−1 ◦ ρ , ρ ◦ ρ−1 для отношения:ρ = {(x, y) | x, y ∈ [0, 1], 2x ≥ 3y}.3.2.

Доказать, что для любых бинарных отношений ρ1 , ρ2 , ρ3 ∈ A×A :(а) ρ1 ∩ ρ1 = ρ1 ∪ ρ1 = ρ1 ;(б) ρ1 ◦ (ρ2 ◦ ρ3) = (ρ1 ◦ ρ2) ◦ ρ3 ;• First • Prev • Next • Last • Go Back • Full Screen • Close • QuitЗадачи3.1. Найти D(ρ) , R(ρ) , ρ−1 , ρ ◦ ρ , ρ−1 ◦ ρ , ρ ◦ ρ−1 для отношения:ρ = {(x, y) | x, y ∈ [0, 1], 2x ≥ 3y}.3.2. Доказать, что для любых бинарных отношений ρ1 , ρ2 , ρ3 ∈ A×A :(а) ρ1 ∩ ρ1 = ρ1 ∪ ρ1 = ρ1 ;(б) ρ1 ◦ (ρ2 ◦ ρ3) = (ρ1 ◦ ρ2) ◦ ρ3 ;(в) ρ1 ◦ idA = idA ◦ ρ1 = ρ1 .• First • Prev • Next • Last • Go Back • Full Screen • Close • QuitДомашнее задание3.1.

Найти D(ρ) , R(ρ) , ρ−1 , ρ ◦ ρ , ρ−1 ◦ ρ , ρ ◦ ρ−1 для отношений:(а) ρ = {(x, y) | x, y ∈ N, x = 0 (mod y)};(б) ρ = {(x, y) | x, y ∈ [0, 1], x + y ≤ 1}.3.2. Доказать, что для любого бинарного отношения ρ ⊆ A × A :(а) D(ρ−1) = R(ρ) ;(б) R(ρ−1) = D(ρ) ;(в) D(ρ1 ◦ ρ2) = ρ−11 (R(ρ1 ) ∩ D (ρ2 )) ;(г) R(ρ1 ◦ ρ2) = ρ2(R(ρ1) ∩ D(ρ2))(д) (ρ)−1 = (ρ−1) .3.3. Доказать, что для любых бинарных отношений ρ1 , ρ2 ∈ A × A :−1(а) (ρ1 ∩ ρ2)−1 = ρ−11 ∩ ρ2 ;−1(б) (ρ1 ∪ ρ2)−1 = ρ−11 ∪ ρ2 ;−1(в) (ρ1 ◦ ρ2)−1 = ρ−12 ◦ ρ1 .• First • Prev • Next • Last • Go Back • Full Screen • Close • Quit.

Характеристики

Список файлов семинаров