検索内容:
私は思考にどのような影響を与えるかを探るために、ジェームズ・クック・ブラウンが20世紀半ばに最初に開発した、論理的に設計された人工言語の一つを学びました。
研究者たちは、どの論理言語が複雑な数学的証明を最も適切に表現できるかを判断するために、いくつかの論理言語を比較した。
委員会は、曖昧さのない仕様を書くための標準として論理言語を採用するかどうかを議論した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★