Tutorial:CLOSで学ぶ集合論

Tutorial:CLOSで学ぶ集合論

Tag: チュートリアル

セマンティックウェブ・ダイアリー: CLOSで学ぶ集合論

チュートリアルで利用する処理系には、Allegro CLの試用版を想定


CLOSで学ぶ集合論

  1. はじめに
  2. 集合と同一性
  3. 空集合,合併集合,共通集合
  4. 部分集合,冪集合,補集合
  5. 順序数,超限順序数,カントールのパラドックス
  6. 包括原理,ZF集合論,ラッセルのパラドックス

Last modified : 2012/12/14 14:34:44 JST
CC0 1.0
Powerd by WiLiKi 0.6.1 on Gauche 0.9