DMA Pojmy Flashcards
Kartézský součin
1.1.1
Binární relace
1.1.2
Levý obor relace
1.1.3
Pravý obor relace
1.1.3
Relace ϱ1 implikuje relaci ϱ2
1.1.4
Složení (součin relací)
1.1.5 značení ϱ1 o ϱ2
Je skládání relací asociativní?
Ano, 1.1.6 + DK
Je skládání relací komutativní?
Ne, 1.1.6
Inverzní relace
1.1.7
Identická relace
1.1.8 - značení Ex
Platí, že složení inverzních relací = Ex?
Ne, 1.1.8
Kolik je různých relací z M do N?
2^(m*n), 1.1.9
Zobrazení z množiny X do množiny Y
1.1.10
Prosté zobrazení
1.1.11
Reflexivní relace
1.2.1
Symetrická relace
1.2.1
Antisymetrická relace
1.2.1
Tranzitivní relace
1.2.1
Relace tolerance
1.2.2 (reflexivní + symetrická)
Relace ekvivalence
1.2.2 (reflexivní + symetrická + tranzitivní)
Rozklad množiny
1.2.3
Definuje ekvivalence rozklad?
Ano, 1.2.4
Kongurence modulo
1.2.5
Zbytkové třídy
1.2.5
Jak se chovají součty a součiny zbytků po dělení?
1.2.6
Grupa
1.3.4
Těleso
1.3.5
Tranzitivní uzávěr relace
1.3.9
Reflexivně tranzitivní uzávěr relace
1.3.9
Uspořádání na množině
1.4.1
Dva prvky jsou srovnatelné
1.4.2
Úplné uspořádání na množině
1.4.3
Částečné uspořádání
1.4.3
Částečně uspořádaná množina
1.4.3
POSET
=částečně uspořádaná množina 1.4.3
Relace bezprostředního předcházení
1.4.4
Hasseův diagram uspořádání
1.4.5
Minimální x Nejmenší; Maximální x Největší
1.4.7
Suprémum a Infimum
1.4.8
Svaz
1.4.9
Spojení
1.4.9
Průser
1.4.9
Pokud je x v relaci s y, tak co je jejich průsek a spojení?
1.4.10
Princip duality
1.4.11
Idempotentnost
1.4.12
Komutativita (pro průsek a spojení)
1.4.12
Asociativita (pro průsek a spojení)
1.4.12
Absorpce
1.4.12
Distributivní svaz
1.4.13
Podsvaz
1.4.15
Doplněk
1.4.18
Komplementární svaz
1.4.18
De Morganovi zákony
1.4.20
Booleovská algebra
1.5.1
Booleovský kalkulus
1.5.2
Stoneova věta o reprezentaci
1.5.7
Direktní součin booleovských algeber
1.5.9
Booleovská funkce n proměných
1.5.11