受けるべきではないクラスにサインアップしました。私の教授が一次論理を説明していたときに使用された表記法をまったく理解していないので、今は少しうんざりしています。これらのことをすべて再学習する方法について、本の提案が必要です。例：「数量詞」とは何かについて混乱していました（グーグルで調べた後、わかりました）。たくさんの例がある良い本はありますか? ありがとう
1375 次
2 に答える
2
UCLA の論理学者は、ここで一次論理をカバーする無料の論理ブックを持っています。
この本の素晴らしい点の 1 つは、ロジックの学習に役立つフリー ソフトウェア プログラムと組み合わせて使用するように書かれていることです。
私は大学で 3 つの論理コースを教えてきましたが、ほとんどの学生は、証明や導関数について読むだけでなく、証明や導関数を完成させることで、成績が大幅に向上することがわかりました。とはいえ、数学やプログラミングを学ぶのと同じ方法でロジックを学習すれば、成功する可能性が高くなります。
于 2015-01-06T15:04:33.693 に答える
1
Jon Barwise と John Etchemendy のThe Language of First-Order Logic (CSLI Press、1992 年) は素晴らしいです。2002 年には、「言語、証明、および論理」というタイトルの改訂および拡張版がリリースされました。
于 2011-02-01T10:44:15.753 に答える