情報なし
第1章 集合論
第2章 関係
第3章 関数
第4章 ベクトルと行列
第5章 グラフ理論
第6章 平面的グラフ,彩色,木
第7章 有向グラフ、有限オートマトン
第8章 組合せ解析
第9章 代数系、形式言語
第10章 順序集合と束
第11章 命題計算
第12章 ブール代数
・Haskellの代数的データ型とGADTs[2020-09-05に投稿]