Logical Facts 2010

Logical Facts 2010

& nbsp; 논리적 인 사실에 대해 우리를 방문?십시?. 우리는 그것이 관찰과 알려진 사실로부터 논증을 구성?는 데 사용?는 친절한 시스템이라고 말할 ? 있습니다. 알려진 사실을 통해 논리적 인 추론을 사용?여 가정을 할 ? 있습니다. 논리를 ?사?는 매우 인기있는 문구는 다음과 같습니다. 모든 사람은 필멸? 존재이며, 소크라테스는 인간이므로 소크라테스는 필사자입니다. 논리는 어디에서?, 직장에서, 우리가 새로운 언어 등을 배우고있을 때 분명히 사용됩니다. 여러분이 일?적으로 깨닫지 못?는 것은 여러분이 알고있는 증거가 그렇게 생각?는 것?럼 보이더라도 추측이 ?못 될 ? 있다는 것입니다 사실. 당신은 ?실 세계에서 탁월한 효과를 발??기 위해 ino...

자세한 내용을

Pocket Sensei

Pocket Sensei

Pocket Sensei는 일본어 교육을위한 도구입니다. 그것은 6000 가지 이상? 가장 일?적인 단어와 1000 가지? kanjis를 가르쳐줍니다. 한자 정보와 진행 상황에 대한 통계를 볼 ? 있습니다. 모든 MIDP 2.0 장?에서 작동합니다. 일본어 글꼴이 필요...

자세한 내용을

Pocket KrHyper

Pocket KrHyper

J2ME 휴대폰을위한 이론 증명 라이브러리입니다. 명제, 1 차 및 설명 논리에서 추론을 지원?며 모바일 지식 관리 ?는 시맨틱 웹 응용 프로그램을 목표로합니다. & middot; 휴대 전화? 첫 번째 추론기 & middot; 약간? 자원 사용 & middot; 클로스 얼 1 차 논리 및 기술 논리를위한...

자세한 내용을

Stroke Painter

Stroke Painter

Stroke Painter는 cjkmobile 프로젝트 (http://code.google.com/p/cjkmobile/)보다 중국어, 일본어, 한국어 공용 문자? 획 순서를 그리는 방법을 보여주는 애니메이? Java 모바일 학습 응용 프로그램을 선보이는 것보다 우?합니다. 스트로크 화가는 휴대 가능?고 Java MIDlet 2.1을 지원?는 모바일에 적합해야합니다. 풍모 1 - cjkmobile에 비해 작은 크기 2 - 3199 문자 지원 애니메이? 스트로크 순서 제공 4 - 항아리로 배? 된 데이터 세트 (별도로 데이터 세트를 다운로드?고 설?할 필요 없음) 이 프로젝트는 인기있는 Java 애플릿? 리엔지니어먼트입니다 & quot; StrokePlayer & quot; Erik Peterson이 쓴. 노트 1-이 응용 프로그램은 Nokia 5800xm, Nokia X6에서만 테스트?었습니다. 2 - 버그 ?는 제안 사항을 sallam.ah@gmail.com에...

자세한 내용을