目次
1章 合同式を用いた設計
2章 ブール代数
3章 論理装置の設計
4章 命題と論理
5章 群と環
6章 体
7章 漸化式
著者等紹介
高橋隆一[タカハシリュウイチ]
1978年早稲田大学理工学部物理学科卒(理学士)。1981年東京工業大学大学院修士課程修了(工学修士)。NEC(日本電気株式会社)入社。1991年東京工業大学工学部助手。1994年広島市立大学情報科学部情報工学科助教授。2007年同准教授。博士(学術)。IEEE上級会員(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。