Logical Facts 2010

Logical Facts 2010

 論理的な事実の銀行のために私たちを訪ねてください。私たちは、それが観察と既知の事実から議論を構築するために使う優しいシステムであると言うことができます。われわれは、既知の事実を通?て、論理推論を使って仮定を立てることができる。論理を描写する非常に普及した言葉はこれである:すべての人間は死人であり、ソクラテスは男であり、従ってソクラテスは死に至る。ロジックは、どこでも、仕事中、新しい言語などを学んでいるときに?らかに使用されています。あなたが通常認?していないことは、あなたの推論が間違っているかもしれないということです。真実です。あなたは実際に現実の世界で秀でるためにその露出をinorderする必要があります!...

続きを読む

Pocket Sensei

Pocket Sensei

ポケット先生は、日本語の訓練のためのツールです。それは6000以上の最も一般的な言葉と1000のkanjisをあなたに教えます。漢字の情報や進捗状況を見ることができます。すべてのMIDP...

続きを読む

Pocket KrHyper

Pocket KrHyper

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

続きを読む

Stroke Painter

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-このアプリケーションはNokia 5800xm、Nokia X6のみでテストされました。 2 -...

続きを読む