注意: このページは最後に更新されてから 1589 日が経過している記事です。 文章が腐敗している可能性があります。その点を考慮した上で確認ください。

集合論

提供: kimoto's wiki

  • a ∈ A
    • aはAの要素
  • B ⊂ A:
    • BはAの部分集合
  • Aの補集合
    • Aじゃない部分
  • U
    • Universe, 普遍集合
    • たとえばA∨Aの補集合 ってのは
      • Aである部分とA出ない部分を結合したものなので、Uになる
  • 互いに素 (disjoint)
    • A∧B=∅ であるとき、AとBを互いに素であるという
    • これってのはつまり、集合AとBで共通の部分がないよねって言う時に使う
  • ドモルガンの法則
    • 真偽判定させて同一のことが成り立つみたいなルール集と思ったら良さそう。
    • プログラミングで真偽値判定で、よりわかりやすい形式に変換できるという意味で実用的な技術