Pocket KrHyper

Pocket KrHyper

J2ME携帯電話の定理証?ライブラリです。命題、一次、および?述ロジックの推論をサポートし、モバイルナレッジ管理またはセマンティックWebアプリケーションを目指しています。 ·携帯電話の第一歩 ·ほとんどリソースを使用しない ·クローザル一次論理と?述論理のためのインタフェース...

続きを読む

PRIMElet

PRIMElet

整数演算のための簡?なアプリケーション。 次の操作をサポートします。 - 因子分解 また、 *除数の数、 *オイラーのトータン(φ)、 * Carcmichaelの関数(lamda)、 *番号がカーマイケルかどうかをチェックし、それが対応するメッセージを表示する場合は、 - 素数検査、 - modPower(モジュラ累乗) - modInverse(モジュラ乗法逆関数)、 - 次のPrime Prime、 - ランダムな確率Prime、 - ...

続きを読む

PRIMElet V1.01

PRIMElet V1.01

整数演算のための簡?なアプリケーション。 次の操作をサポートします。 - 因子分解 また、 *除数の数、 *オイラーのトータン(φ)、 * Carcmichaelの関数(lamda)、 *番号がカーマイケルかどうかをチェックし、それが対応するメッセージを表示する場合は、 - 素数検査、 - modPower(モジュラ累乗) - modInverse(モジュラ乗法逆関数)、 - 次のPrime Prime、 - ランダムな確率Prime、 - ...

続きを読む

Quad2Go

Quad2Go

Quad2Goのエクスプロレーションは、11-12歳の学生にとって特に適しています。この時代の学生にジオメトリを教えることは、四辺形の重要な属性とそれらの間の階層的な関係に焦点を合わせます。学習とは、重要な属性と重要でない属性を?別することを意味します。例えば、「4辺」は、 「2対の平行な辺」、または「2対の等しい対角」は、平行四辺形の重要な属性の一部です。 「2つの長辺と2つの短辺」とは、または「2つの鋭角および2つの鈍角」は、重要ではない属性です。この意味での学習とは、異なるクワッドの属性を分析し、そのクリティカル属性と非クリティカル属性を区別し、クワッド間の階層を学習することを意味します。 Quad2Goは、ランダムに構築されたクワッドの多くの例を提供します。各例は、頂点または辺のいずれかをドラッグすることによって変更できます。 特徴Quad2Goは、例を生成し、観測し、一般化された推測を形成するための例を試して実験することで、四辺形について学習するための便利なツールです。 Geometric Supposer、Cabri Geometry、Geometer...

続きを読む

Ruler

Ruler

このアプリは、インチとセンチメートルの両方で測定することができる便利なポケットルーラーにあなたの電話をオンにします。 特徴: - エレガントなデザイン - インチとセンチメートルで測定 -...

続きを読む