離散数学

コンピュータサイエンス教科書シリーズ　１５

コロナ社
牛島和夫　相利民　朝廣雄一　

• 価格: 3,300円（本体3,000円＋税）
• 発行年月: 2022年12月
• 判型: Ａ５
• ISBN: 9784339027228

内容情報

[BOOKデータベースより]

１　集合論（集合の概念と表現；集合演算；順序材とデカルト積；関係とその表現；関係の性質；関係の合成と逆関係；同値関係と習合の分割；順序関係；関数；濃度）
２　代数系（代数系、演算と性質；半群；群と部分群；可換群と巡回群；同型と準同型；環と体；束；分配束と相補束；プール代数；プール表現とプール関数）
３　数理論理（命題と表現；論理演算子；命題論理の論理式；恒真式と恒偽式；他の演算子；双対と標準形；命題論理の証明理論；述語論理の概念；束縛変数と自由変数；恒真式と恒偽式およびいくつかの性質；述語論理の証明理論）
４　グラフ理論（グラフの概念；道と閉路；グラフの行列表現；オイラーグラフとハミルトングラフ；平面グラフ；平面グラフの彩色；木と全城木；根付き木；ネットワークと最大流）