復刊リクエスト投票

• 情報代数 (情報数学講座)

  【著者】小野 寛晰

  「木」の定義など、他の本では形式的に定義されていないものが数学的に厳密に扱われている。
  理論計算機科学を専攻するにあたって必要な数学（特に順序、well-founded inductionなど）が身に着けられる。(2021/11/02)