久野です。

kono@ie.u-ryukyu.ac.jpさん:
> 構文要素と、それに対応する値(意味、モデル)の組が別であることを理解する
> プログラムの中で使われる値(整数、関数)とかの数学的構造を理解する
> 入力や出力での値が満たす規則の表現方法を理解する
> プログラムが正しく動くというのは、どういうことかを理解する
> そして、それを確かめる方法を身につける

  それは「論理的に考える」ではあるけど直接「論理学」じゃないよね
え。

                 その両者を区別して使ってます?              久野