内容説明
情報科学の分野における基礎的な事柄を理解するために必要な離散数学からの主要なテーマに焦点をあてて易しく解説した入門書。
目次
１ 論理（命題と論理記号；述語と限定記号；証明と論証）
２ 集合と関係（集合；関数；関係）
３ 代数系（整数の性質；半群と群；環と体；群の同型と正規部分群）
４ 組合せ数学（数え上げの基礎；包除原理；鳩の巣原理；２項係数；特別な数）
演習問題解答例
著者等紹介
横森貴［ヨコモリタカシ］
１９７４年東京大学理学部数学科卒業。１９７９年同大学院理学系研究科博士課程修了。現在、早稲田大学教育・総合科学学術院教授。理学博士
小林聡［コバヤシサトシ］
１９８８年東京大学工学部航空学科卒業。１９９３年同大学院工学系研究科博士課程修了。現在、電気通信大学電気通信学部教授。工学博士（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
