目次
１ 帰納法と再帰的構造（再帰的構造と再帰的定義；文法による言語の再帰的定義 ほか）
２ グラフ理論（グラフとその諸概念；木 ほか）
３ オートマトンと計算モデル（基本的な概念の準備；計算の数学モデル―チューリングマシン ほか）
４ ブール代数と論理設計（ブール代数；論理設計 ほか）
５ 情報理論と暗号系（情報量と符号化；誤り訂正符号 ほか）
著者等紹介
横森貴［ヨコモリタカシ］
１９７４年東京大学理学部数学科卒業。１９７９年同大学院理学系研究科博士課程修了。現在、早稲田大学教育・総合科学学術院教授。理学博士
小林聡［コバヤシサトシ］
１９８８年東京大学工学部航空学科卒業。１９９３年同大学院工学系研究科博士課程修了。現在、電気通信大学電気通信学部教授。工学博士（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
-
- 和書
- 〈関係〉の詩学
