Pr-1st-1.1-m04-Slajd20

Relacje na etykietach wektorowych

Zdefiniujmy teraz relacje na zmiennych wektorowych $vCloc{k}_i[i]$ i $vCloc{k}_i[i]$, reprezentujących tablice [1.. n], w następujący sposób: $vCloc{k}_i=vCloc{k}_j\iff \mathrm{\forall }kvCloc{k}_i[k]=vCloc{k}_j[k]$

$vCloc{k}_i\ne vCloc{k}_j\iff \mathrm{\exists }kvCloc{k}_i[k]\ne vCloc{k}_j[k]$

$vCloc{k}_i\le vCloc{k}_j\iff \mathrm{\forall }kvCloc{k}_i[k]\le vCloc{k}_j[k]$

$vCloc{k}_i\nleqq vCloc{k}_j\iff \mathrm{\exists }kvCloc{k}_i[k]\ge vCloc{k}_j[k]$

$vCloc{k}_i<vCloc{k}_j\iff \mathrm{\forall }kvCloc{k}_i[k]\le vCloc{k}_j[k]\wedge vCloc{k}_i\ne vCloc{k}_j$

$vCloc{k}_i\nless vCloc{k}_j\iff \mathrm{\neg }(\mathrm{\forall }kvCloc{k}_i[k]\le vCloc{k}_j[k]\wedge vCloc{k}_i\ne vCloc{k}_j)$

$vCloc{k}_i||vCloc{k}_j\iff vCloc{k}_i\nless vCloc{k}_j\wedge vCloc{k}_j\nless vCloc{k}_i$

<< Poprzedni slajd | Spis treści | Następny slajd >>