目次
１ 集合論（集合の概念と表現；集合演算；順序材とデカルト積；関係とその表現；関係の性質；関係の合成と逆関係；同値関係と習合の分割；順序関係；関数；濃度）
２ 代数系（代数系、演算と性質；半群；群と部分群；可換群と巡回群；同型と準同型；環と体；束；分配束と相補束；プール代数；プール表現とプール関数）
３ 数理論理（命題と表現；論理演算子；命題論理の論理式；恒真式と恒偽式；他の演算子；双対と標準形；命題論理の証明理論；述語論理の概念；束縛変数と自由変数；恒真式と恒偽式およびいくつかの性質；述語論理の証明理論）
４ グラフ理論（グラフの概念；道と閉路；グラフの行列表現；オイラーグラフとハミルトングラフ；平面グラフ；平面グラフの彩色；木と全城木；根付き木；ネットワークと最大流）
著者等紹介
牛島和夫［ウシジマカズオ］
１９６１年東京大学工学部応用物理学科（数理工学専修）卒業。２００９年九州産業大学退職
相利民［ソウリミン］
１９８２年南京大学計算機科学部アーキテクチャ学科卒業。２００９年逝去
朝廣雄一［アサヒロユウイチ］
１９９４年九州大学工学部情報工学科卒業。２０１１年九州産業大学教授。現在に至る（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
