MLG - Teorie Množin

up:: MLG

Resource

• 💾
  • P:: 3, 4, 5
  • F:: 4, 5
  • AT
• 🎥

• Vénuv diagram
  • nezapomenout na celek a prvky mimo množinu
• Množinové operace
  • neprohodit osy A←>B

Binární relace

• 📝
  • ↺ Reflexní
    • (A,A) - množina samy se sebou
  • ⇄ Symetrická
    • {(A,B)(B,A)} - prohozené
  • → Antisymetrická
    • (A,B) (B,A) - neprohozené
  • Tranzivita (zkratka)
    • A->B->C ⇒ A->C
    • A<->B ⇒ (A,A), (B,B)
  • Ekvivalence = R+T+S ⇄
  • Uspořádání = R+T+A →
  • Zobrazení = 0/1 šipek z bodu
• Short
  • ( R ↺ | S ⇄ | A → | T {zkratka} )
  • E = R+T+S ⇄
  • U = R+T+A →

Haseho diagram

• 📝
  • vynecháme
    • ↺ Reflexivitu
    • zkratky (T)
  • ražení
    • dole->střed->top
    • řazené podle asymterie
    • Menší prvky dole | větší nahoře
• 🖼️
  • 

• Důkaz ano u Z?

• Zobrazení

  • relace kde se neobjeví stejný prvek na prvním místě
  • pouze jedna šipka z bodu

• AS vs S

  • 

• pozor

  • zkratka středem