離散数学 コンピュータサイエンスの基礎数学（目次） 集合論集合論1) 関係2) 関数 ベクトルと行列 グラフ理論 平面的グラフ、彩色、木 有向グラフ、有限オートマトン 組み合わせ解析 代数系、形式言語3) 順序集合の束 命題計算 ブール代数 (1) 集合論Seymour Lipschutz、成嶋弘, 離散数学 コンピュータサイエンスの基礎数学, オーム社, (1995).(2) 関係Seymour Lipschutz、成嶋弘, 離散数学 コンピュータサイエンスの基礎数学, オーム社, (1995).(3) 代数系、形式言語Seymour Lipschutz、成嶋弘, 離散数学 コンピュータサイエンスの基礎数学, オーム社, (1995).