Logical Facts 2010

Logical Facts 2010
3 Jan 11 在 科學教育, 百科全書事實

＆nbsp;訪問我們的邏輯事實銀行，我們可以說，它?一個系統，我們用來構建一個觀察和已知事實的參數。我們可以使用邏輯推理，通過已知的事實做出假設。描述邏輯的一個非常受歡迎的短語?：每個人都?凡人，?格拉底?一個人，因此?格拉底?凡人。邏輯顯然?在任何地方，在工作，當我們學習一種新的語言等等時使用。現在你不能正常地實現的?，你的推論可能?錯誤的，即使你認為的證據贊同它真的，你真的需要有它的曝光，以便在現實世界中擅長！...

閱讀更多

Pocket Sensei

Pocket Sensei
12 May 11 在 科學教育, 外語

口袋老師?日語培訓的工具。它教你6000多個最常見的詞和1000 kanjis。您可以查看漢字信息和進度的統計。適用於每個MIDP...

閱讀更多

Pocket KrHyper

Pocket KrHyper
20 Jun 11 在 科學教育, 數學

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

閱讀更多

Stroke Painter

Stroke Painter
23 Jan 11 在 科學教育, 外語

Stroke Painter?一個優於cjkmobile項目（http://code.google.com/p/cjkmobile/），介紹動畫Java移動學習應用程序，以顯示如何繪製中文，日語，韓語常用字符的筆劃順序。筆劃畫家應該?便攜的，適合任何移動支持Java MIDlet 2.1。 特徵 1-與cjkmobile相比尺寸更小 2-支持3199個字符 3-提供動畫筆劃順序 4-數據集與jar分批（無需下載和安裝數據單獨設置） 該項目?針對流行的Java小應用程序的重新設計StrokePlayer“由Erik Peterson寫。 筆? 1-這個應用程序已經測試與諾基亞5800xm，僅諾基亞X6。...

閱讀更多
通過設備搜索
Nokia 6151

Nokia 6151
按類別搜索
 
流行的應用程序