ぱらぱらめくる『The Haskell Road to Logic, Maths and Programming』

• 昨日の記事で48時間でschemeをぱらぱらし始めて、「これは自分に向いていない」とすぐにやめたが…
• こちらの『The Haskell Road to Logic, Maths and Programming』は自分の読み方に合っている印象が強いので、ぱらぱらしてみる(PDF)

The Haskell Road To Logic, Maths And Programming (Texts in Computing)

• 目次
  • 1 Getting Starged 使ってみよう
  • 2 Talking about Mathematical Objects 数学オブジェクトを語る
  • 3 The Use of Logic: Proof 論理として使う、証明
  • 4 Sets, Types and Lists 集合、型(型理論とかの型？)、リスト
  • 5 Relations 関係（二項関係、とかそういう『数学的な関係』という意味での関係)
  • 6 Functions 関数 (写像とか一対一対応とか、そういう雰囲気)
  • 7 Induction and Recursion 帰納と再帰
  • 8 Working with Numbers 数とは何か(自然数、公約数・公倍数、実数、虚数、複素数とか)
  • 9 Polynomials 多項式
  • 10 Corecursion 再帰と双対の関係にある作用に対するコンピュータ実装上の呼び名
  • 11 Finite and Infinite Sets 有限集合、無限集合