Pocket KrHyper
J2ME携帯電話の定理証?ライブラリです。命題、一次、および?述ロジックの推論をサポートし、モバイルナレッジ管理またはセマンティックWebアプリケーションを目指しています。 ·携帯電話の第一歩 ·ほとんどリソースを使用しない ·クローザル一次論理と?述論理のためのインタフェース...
続きを読むQuad2Goのエクスプロレーションは、11-12歳の学生にとって特に適しています。この時代の学生にジオメトリを教えることは、四辺形の重要な属性とそれらの間の階層的な関係に焦点を合わせます。学習とは、重要な属性と重要でない属性を?別することを意味します。例えば、「4辺」は、 「2対の平行な辺」、または「2対の等しい対角」は、平行四辺形の重要な属性の一部です。 「2つの長辺と2つの短辺」とは、または「2つの鋭角および2つの鈍角」は、重要ではない属性です。この意味での学習とは、異なるクワッドの属性を分析し、そのクリティカル属性と非クリティカル属性を区別し、クワッド間の階層を学習することを意味します。 Quad2Goは、ランダムに構築されたクワッドの多くの例を提供します。各例は、頂点または辺のいずれかをドラッグすることによって変更できます。 特徴Quad2Goは、例を生成し、観測し、一般化された推測を形成するための例を試して実験することで、四辺形について学習するための便利なツールです。 Geometric Supposer、Cabri Geometry、Geometer...
続きを読む