Pocket KrHyper

Pocket KrHyper

?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。 ·第一個推理器的手機 ·使用少量資源 ·適合一階邏輯和描述邏輯的接口...

閱讀更多

PRIMElet

PRIMElet

整數操作的簡單應用程序。 支持以下操作: - 因式分解 計算: *除數, *歐拉常數(phi), * Carcmichael的函數(lamda), *檢查號碼?否?Carmichael,如果?,則顯示相應的消息, - 原始性測試, - modPower(模冪運算) - modInverse(模?法逆) - 下一個可能的Prime, - 隨機可能Prime, -...

閱讀更多

PRIMElet V1.01

PRIMElet V1.01

整數操作的簡單應用程序。 支持以下操作: - 因式分解 計算: *除數, *歐拉常數(phi), * Carcmichael的函數(lamda), *檢查號碼?否?Carmichael,如果?,則顯示相應的消息, - 原始性測試, - modPower(模冪運算) - modInverse(模?法逆) - 下一個可能的Prime, - 隨機可能Prime, -...

閱讀更多

Quad2Go

Quad2Go

與Quad2Go探索特別適合11-12歲的學生。這個年齡的學生的教學幾何關註四邊形的關鍵屬性和它們之間的層次關係。學習意味著?別關鍵屬性和非關鍵屬性。例如,“四邊”,“ “兩對平行側”,“或“兩對相等的相對角”?平行四邊形的一些關鍵屬性; “兩個長邊和兩個短邊”或“兩個銳角和兩個鈍角”?非關鍵屬性。在這種意義上的學習意味著學習分析不同四邊形的屬性,區分它們的關鍵和非關鍵屬性,以及學習四邊形之間的等級。...

閱讀更多

Ruler

Ruler

這個程序將你的手機變成一個方便的袖珍標尺,可以測量英寸和?米。 特徵: - 優雅的設計 - 以英寸和?米為單位 -...

閱讀更多