目次
第1章 情報数学基礎への準備
第2章 数の表現方法
第3章 命題と論理演算
第4章 集合
第5章 写像
第6章 関係
第7章 述語と数学的帰納法
第8章 グラフ
付録 コンピュータ内部での小数表現
略解
著者等紹介
幸谷智紀[コウヤトモノリ]
1991年東京理科大学理工学部数学科卒業。1993年日本大学大学院理工学研究科博士前期課程修了。1993年雇用促進事業団・石川職業能力開発短期大学校講師。1997年日本大学大学院理工学研究科博士後期課程修了。1997年博士(理学)(日本大学)。1999年静岡理工科大学理工学部情報システム学科講師。2008年静岡理工科大学総合情報学部コンピュータシステム学科講師。2011年静岡理工科大学総合情報学部コンピュータシステム学科准教授。2016年静岡理工科大学総合情報学部コンピュータシステム学科教授。2017年静岡理工科大学情報学部コンピュータシステム学科教授
國持良行[クニモチヨシユキ]
1987年静岡大学工学部情報工学科卒業。1992年静岡大学大学院電子科学研究科博士課程単位取得退学。1992年静岡理工科大学理工学部知能情報学科助手。2003年静岡理工科大学理工学部情報システム学科講師。2008年静岡理工科大学総合情報学部コンピュータシステム学科講師。2009年Ph.D.(Debrecen大学)。2010年静岡理工科大学総合情報学部コンピュータシステム学科准教授。2016年静岡理工科大学総合情報学部コンピュータシステム学科教授。2016年静岡理工科大学情報学部コンピュータシステム学科教授(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。