2011年5月20日金曜日

古典論理。NK。

古典論理・自然演繹についてのノートをアップロードしてみる。

2011年5月18日水曜日

数列の極限の例

数列の極限の例のリンク切れを除去。

y=x^2

1変数関数y=x^2の性質のリンク切れを修正。

2011年5月15日日曜日