MathXpert入門

MathXpertは、そのユーザーが数学的な問題を解決し、グラフを作成することができます。 問題を解決するとき、それはユーザーが単に1行の答えを生成するのではなく、ステップバイステップの解決策を構築することができます。 各ステップは、前の行にいくつかの数学的な操作を適用することによって行われ、その正当性を与えられている。 ユーザーは、変更する現在の行の一部を選択するためにマウスを使用して、新しい行を生成します。 その後、操作のメニューが表示され、ユーザーが適用する操作を選択します。 コンピュータは実際に操作を適用するの苦しみを行う。 また、ゼロで除算するような論理エラーや、ln(a+b)=ln a+ln bのような誤った法則を適用するような概念エラーからも保護されます。 あなたの問題の作業が終了したら、それを印刷し、あなたの宿題のためにそれを回すことができます。

MathXpertは、コマンドで個々のステップを実行する能力を持っているだけでなく、それはまた、上記の科目で、ほぼすべての教科書の問題を解決するためにそ それは何をすべきかわからない学生に援助を提供するために、この機能を使用しています。 ; 変更する式の選択を提案するショーステップボタンもあります。

MathXpertは、メープルや数学などのソフトウェアとは異なります:

  • それはあなたが論理的なエラーを作ることはできません
  • マウス、メニュー、ボタンによって完全に制御されます。 それを効果的に使用を
  • 始するために必要な時間は約5分です。

MathXpertは、さまざまな種類のグラフを作成できます。 MathXpertグラファーと他のグラファーを区別するいくつかの機能があります:

  • 関数が特異点を持っている場合でも、グラフを正しく描画します。 他のグラファーは、不適切な垂直線、またはグラフの漸近部分を誤って挿入します。
  • それはあなたが迅速に式を編集することなく、式のパラメータの値を変更することにより、一連のグラフを描画することができます。
  • 任意の関数をグラフ化できます。 たとえば、フーリエ級数の部分和をパラメーターとしてグラフ化できます。

この例では、有名な数学者レオンハルト-オイラーが1753年にいかに間違っていたかを見ることができます。 オイラーは、三角関数が連続しているので、それらのシリーズの合計も連続している必要がありますと思いました。 もし彼がMathXpertを持っていたなら、彼はそのミスを犯していないだろう-あなたは明らかに用語の数が増加するように不連続が構築されて見ることが それがあったように、オイラーの影響は、フーリエ級数50年の開発をバックに設定します。 しかし、私は脱線。..

MathXpertは数学の助けによって販売されています。 そのウェブサイトでは、それを使用する方法の説明を含むMathXpertについての詳細を見つけることができます,サンプル画面との完全な.

MathXpertに関する論文を読みたい場合は、[37]を開始する場所としてお勧めします。

MathXpertが基づいている原則の1つは、正しさの原則です。 つまり、コンピューターは数学的に正しくない結果を生成しません。 これは、一般的に他の記号計算プログラムに当てはまりません。 これらの他のプログラムは、例えば、式a=0を与えることができ、aによって両側によって分割するように言わ。 ルールa/a=1とルール0/a=0が含まれているため、結果は1=0になります。

数学的な正しさの目標を達成するためには、MathXpertにかなり洗練された定理預言者を構築する必要がありました。 そして、この応用ソフトウェアプロジェクトと私の研究との間には、論理と計算の関係を中心とした自動推論が直結しています。 プロジェクトのこの側面は、[30][34]の焦点です。 プローバーは多かれ少なかれMathXpertにおける”不可視”であるので、それらが有用であれば、それはいくつかの難解な技術を使用することができ、私は控除が限 非標準解析を用いた問題とその解については、[36]を参照してください。

MathXpertがベースとする他のいくつかの設計原理については、[31][37]で説明します。

Original English-language page