控除 はあなたが自然な控除を簡単に学ぶことを可能にします
今すぐダウンロード

控除 ランキングとまとめ

控除 タグ

論理 学び 控除 控除を学びます ロジックソフトウェア 自然控除

控除 説明

あなたは簡単に自然な控除を学ぶことができます 控除は、学生が形式論理で証明を学ぶのを助けるように設計教育用ソフトウェアです。控除額は、学生や哲学、コンピュータ科学と数学の大学レベルのロジックコースのインストラクターが使用することを意図しています。控除は、証拠の各段階で即座にフィードバックを与える方法を完全に証明するのに約ヒントを提供し、説明ビデオチュートリアルのセットが付属していますし、makeは最も困難をプルーフという三つの問題を解決するためにlogic.Deductionsの目的で、いくつかの挑戦概念を確認します形式論理コースのコンポーネント：ルールは、正しく適用されている証拠の真ん中で立ち往生し、ルールや戦略についての不確実性かどうかわかりません。 、エラーフラグを付ける証拠を完了する方法についての提案を行うためにヒント・エンジンを含め、複雑なルールによって、ヘルプの学生にマルチメディアチュートリアルを有することにより控除アドレス、これらの問題。ここでは、「控除」のいくつかの主要な機能は次のとおりです。 ・エラーフラグを付ける - すぐに彼らが起こるとして控除証明のフラグエラーを。学生は最初の学習証明しているとき、彼らはしばしば、特定のルールを適用する方法がわからない、と頻繁にミスを練習してしまうので、これは、重要です。エラーフラグを付けることで、間違ったルールを学んでから控除防止の学生を。 ・ヒント・エンジン - 控除が完全に証明する方法についてのヒントを提供します。学生の一般的な不満は、彼らが証拠の途中で動けなくなるということです。控除は、学生が取り組んで、そして進歩を作る方法を提案している証拠を見てヒント機能を備えています。 ・マルチメディアチュートリアル - 控除マルチメディアチュートリアルのセットが付属しています。それはしばしば困難な学生はすべての詳細ストレートを維持するために証拠を構築するための非常に多くのルールがあります。ロジックを学ぶために控除を使用する方法、およびどのように論理規則を使用するには：控除は、2つのグループに分けビデオチュートリアルのセットが付属しています。 ・柔軟性 - 控除は、多くの異なるロジックシステムや教科書で動作するように設計されています。両方の標準および代替シンボルは個別にオン・オフすることができるルールと同様に、含まれています。 ・モダンデザイン - 控除近代的なインタフェースを提供します。近年では多くの更新を見ていないフィールドに新しいエントリ（多くのロジックプログラムはDOS、Windows9x系のために書かれた、または基本的なJavaアプレットされている）として、控除が設計されており、最新のオペレーティングシステム（Mac OS Xの）のために書かれました。控除は、クリーンなユーザーインターフェース、ドラッグ・アンド・ドロップのサポート、および包括的なヘルプシステムを提供するためにはMac OS Xのテクノロジーを活用しています。 ・紙よりも効率的 - 控除は、編集内容の面倒を見ます。特に大規模な証拠では、紙の上で作業する場合、証明は、既存の正当化が付け直されなければならない、行を追加または削除し再加工し、上のようにする必要があります。これらの詳細は、仕事への証明のために必要であるが、学習や理解の証拠とはほとんどを持っています。控除は、自動的に行が追加、削除または移動されている証拠を調整することにより、これらのハウスキーピングタスクの世話をします。 制限事項 ・自分のみいくつかのルールが有効になっています。このリリースの新機能： ・彼らはより柔軟になるように、推論アルゴリズムを調整し、 ・ 効率的 ・推論規則に詳細なヘルプを追加しました ・否定の除去/導入との固定問題が識別されていません ・（時々）ルールを排出するよう 新しい空の上の正当化にするとき、ユーザータブを生じるであろう・固定クラッシュ ・ラインと選択し、「元に戻します」

控除 関連ソフトウェア