応用情報数学

横森貴, 小林聡 共著

[目次]

• 1 帰納法と再帰的構造(再帰的構造と再帰的定義
• 文法による言語の再帰的定義 ほか)
• 2 グラフ理論(グラフとその諸概念
• 木 ほか)
• 3 オートマトンと計算モデル(基本的な概念の準備
• 計算の数学モデル-チューリングマシン ほか)
• 4 ブール代数と論理設計(ブール代数
• 論理設計 ほか)
• 5 情報理論と暗号系(情報量と符号化
• 誤り訂正符号 ほか)

「BOOKデータベース」より