目次
1 集合論(集合の概念と表現;集合演算 ほか)
2 代数系(代数系、演算と性質;半群 ほか)
3 数理論理(命題と表現;論理演算子 ほか)
4 グラフ理論(グラフの概念;道と閉路 ほか)
著者等紹介
牛島和夫[ウシジマカズオ]
1961年東京大学工学部応用物理学科(数理工学専修)卒業。1963年東京大学大学院数物系研究科修士課程修了(応用物理学専攻)。1971年工学博士(九州大学)。1971年九州大学助教授。1977年九州大学教授。2001年九州大学名誉教授。2001年九州システム情報技術研究所長。2002年九州産業大学教授(併任)
相利民[ソウリミン]
1982年南京大学計算機科学部アーキテクチャ学科卒業。1993年四川大学助教授。1999年九州大学大学院システム情報科学府博士課程修了(情報工学専攻)。博士(情報科学)。2001年九州産業大学助教授
朝廣雄一[アサヒロユウイチ]
1994年九州大学工学部情報工学科卒業。1996年九州大学大学院工学研究科修士課程修了(情報工学専攻)。1998年九州大学大学院システム情報科学研究科博士後期課程修了(情報工学専攻)。博士(工学)。1998年九州大学助手。2002年九州産業大学助教授(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。