コンピュータサイエンス教科書シリーズ 15 離散数学

著者名：牛島和夫【編著】/相利民/朝廣雄一

コロナ社（2024/10発売）

• ISBN：9784339027228

内容説明

集合論，代数系，数理論理，グラフ理論の構成で解説した「離散数学―CD-ROM付―」（2006年9月発行）から理解を深めるための付録を収録したCD-ROMを外し，コロナ社ウェブサイトからダウンロードできるようにした。

目次

目次
1　集合論
1.1　集合の概念と表現
　演習問題
1.2　集合演算
　演習問題
1.3　順序対とデカルト積
　演習問題
1.4　関係とその表現
　演習問題
1.5　関係の性質
　演習問題
1.6　関係の合成と逆関係
　演習問題
1.7　同値関係と集合の分割
　演習問題
1.8　順序関係
　演習問題
1.9　関数
　演習問題
1.10　濃度
　演習問題

2　代数系
2.1　代数系，演算と性質
　演習問題
2.2　半群
　演習問題
2.3　群と部分群
　演習問題
2.4　可換群と巡回群
　演習問題
2.5　同型と準同型
　演習問題
2.6　環と体
　演習問題
2.7　束
　演習問題
2.8　分配束と相補束
　演習問題
2.9　ブール代数
　演習問題
2.10　ブール表現とブール関数
　演習問題

3　数理論理
3.1　命題と表現
　演習問題
3.2　論理演算子
　演習問題
3.3　命題論理の論理式
　演習問題
3.4　恒真式と恒偽式
　演習問題
3.5　他の演算子
　演習問題
3.6　双対と標準形
　演習問題
3.7　命題論理の証明理論
　演習問題
3.8　述語論理の概念
　演習問題
3.9　束縛変数と自由変数
　演習問題
3.10　恒真式と恒偽式およびいくつかの性質
　演習問題
3.11　冠頭標準形
　演習問題
3.12　述語論理の証明理論
　演習問題

4　グラフ理論
4.1　グラフの概念
　演習問題
4.2　道と閉路
　演習問題
4.3　グラフの行列表現
　演習問題
4.4　オイラーグラフとハミルトングラフ
　演習問題
4.5　平面グラフ
　演習問題
4.6　平面グラフの彩色
　演習問題
4.7　木と全域木
　演習問題
4.8　根付き木
　演習問題
4.9　ネットワークと最大流
　演習問題

参考文献
索引