サクサク読めて、アプリ限定の機能も多数!
しかし、いわゆる形式論理の話は一切ない。それは当然といえよう。数学者は形式論理が大嫌いなのであるからして。
mind のブックマーク 2006/07/27 10:42
論理と推論 --- 数学の形式化[0数理系][.論理系][bot|□(i-face)][algorithm(仕組み)][記号(image)][reasoning(制御実行)|debug] しかし、いわゆる形式論理の話は一切ない。それは当然といえよう。数学者は形式論理が大嫌いなのであるからして。2006/07/27 10:42
このブックマークにはスターがありません。 最初のスターをつけてみよう!
nicosia.is.s.u-tokyo.ac.jp2006/07/27
7 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
しかし、いわゆる形式論理の話は一切ない。それは当然といえよう。数学者は形式論理が大嫌いなのであるからして。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
論理と推論 --- 数学の形式化
7 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /