離散数学(コンピュータサイエンス教科書シリーズ) [全集叢書]

離散数学(コンピュータサイエンス教科書シリーズ) の 商品概要

• 目次（「BOOK」データベースより）

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

• 内容紹介

  情報専門学科のカリキュラムで最も基礎となる科目の離散数学について，集合論，代数系，数理論理，グラフ理論の構成で解説。初版第13刷の発行に際して，内容の理解が深まるように編集した本書中の定理等の証明，演習問題の略解を収録したCD-ROMの付属を廃止し，同内容をコロナ社ウェブサイトからダウンロードできるようにした。
  
  図書館選書
  集合論，代数系，数理論理，グラフ理論の構成で解説した「離散数学―CD-ROM付―」（2006年9月発行）から，演習問題の略解等を収録したCD-ROMを外し，コロナ社ウェブサイトからダウンロードできるようにした。

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  牛島 和夫(ウシジマ カズオ)
  １９６１年東京大学工学部応用物理学科（数理工学専修）卒業。２００９年九州産業大学退職
  
  相 利民(ソウ リミン)
  １９８２年南京大学計算機科学部アーキテクチャ学科卒業。２００９年逝去
  
  朝廣 雄一(アサヒロ ユウイチ)
  １９９４年九州大学工学部情報工学科卒業。２０１１年九州産業大学教授。現在に至る

離散数学(コンピュータサイエンス教科書シリーズ) の商品スペック