Tutorial:CLOSで学ぶ集合論

Tag: チュートリアル

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

• http://blog.livedoor.jp/s-koide/

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

CLOSで学ぶ集合論

1. はじめに
   • CLOS で学ぶ集合論
2. 集合と同一性
   • CLOS で学ぶ集合論その２，同一性
3. 空集合，合併集合，共通集合
   • CLOS で学ぶ集合論その３，空集合，合併集合，共通集合
4. 部分集合，冪集合，補集合
   • CLOS で学ぶ集合論その４，部分集合，冪集合，補集合
5. 順序数，超限順序数，カントールのパラドックス
   • CLOS で学ぶ集合論その５，順序数，超限順序数，カントールのパラドックス
   • CLOS で学ぶ集合論その５（続き）
6. 包括原理，ZF集合論，ラッセルのパラドックス
   • CLOSで学ぶ集合論その６，包括原理，ZF集合論，ラッセルのパラドックス
   • CLOSで学ぶ集合論その６（続き）
   • CLOS で学ぶ集合論その６（続きの続き）
   • CLOS 組込みクラス及び構造体クラスとメタクラス
   • CLOS で学ぶ集合論その６（続きの続きの続き）

Last modified : 2012/12/14 14:34:44 JST

Powerd by WiLiKi 0.6.1 on Gauche 0.9.10