Pocket KrHyper
J2ME 휴대폰을위한 이론 증명 라이브러리입니다. 명제, 1 차 및 설명 논리에서 추론을 지원�?며 모바일 지식 관리 �?�는 시맨틱 웹 응용 프로그램을 목표로합니다. & middot; 휴대 전화�? 첫 번째 추론기 & middot; 약간�? 자원 사용 & middot; 클로스 얼 1 차 논리 및 기술 논리를위한...
자세한 내용을정�? 연산을위한 간단한 응용 프로그램입니다. 다음 작업을 지원합니다. - 인�? 분해 �?�한 계산합니다 : * 약�?, * �?�일러�? 총량 (파이), * Carcmichael�? 기능 (lamda), * 숫자가 카 마이 클 (Carmichael)인지 확인�?고 해당�?는 메시지를 표시�?면, - Primality 테스트, - modPower (모듈러 지�?) - modInverse (모듈러 곱셈 역원), - 다음 프라임 프라임, - 임�? 확률 Prime, - GCD (Greatest Common Divisor) 및 LCM (Least Common Multiplier) - �? 이상�? 정�?. 기기 기능에 따라 분해를 위해 최대 18 자리 숫자를 지원�?고 다른 작업에 최대 30 자리 숫자를...
자세한 내용을정�? 연산을위한 간단한 응용 프로그램입니다. 다음 작업을 지원합니다. - 인�? 분해 �?�한 계산합니다 : * 약�?, * �?�일러�? 총량 (파이), * Carcmichael�? 기능 (lamda), * 숫자가 카 마이 클 (Carmichael)인지 확인�?고 해당�?는 메시지를 표시�?면, - Primality 테스트, - modPower (모듈러 지�?) - modInverse (모듈러 곱셈 역원), - 다음 프라임 프라임, - 임�? 확률 Prime, - GCD (Greatest Common Divisor) 및 LCM (Least Common Multiplier) - �? 이상�? 정�?. 평가판 버전은 2 자리 숫자 만 지원합니다. 정식 버전은 분해를 위해 최대 18 자리 숫자를 지원�?고 다른 작업을 위해서는 최대 30 자리 숫자를...
자세한 내용을Quad2Go�? 탐구는 특히 11-12 세 학생들에게 적합합니다. 이 시대�? 학생들에게 지�?�메트리를 가르�?는 것은 사변�?��? 중요한 속성과 그것들 간�? 계층 적 관계에 초점을 맞추고 있습니다. 학습이란 중요한 속성과 중요�?지 않은 속성을 식별�?는 것을 �?미합니다. �?�를 들어, "4면" "2 쌍�? 평행 변" �?�는 "2 쌍�? 동일한 대향 각도" 평행 사변�?��? 중요한 속성 중 일부입니다. "긴 변 2 개 및 짧은 변 2 개" �?�는 "2 개�? �?�각 및 2 개�? 둔각" 중요�?지 않은 속성입니다. 이러한 �?미에서 학습이란 여러 가지 쿼드�? 특성을 분석�?고, 중요한 특성과 중요�?지 않은 특성을 구별�?고, 쿼드 사이�? 계층 구조를 학습�?는 것을 �?미합니다. Quad2Go는 임�?로 구성된 쿼드�? 많은 �?�를 제공합니다. 각 �?�제는 정점이�?면을 드�?그�?여 변경할 �? 있습니다. 풍모Quad2Go는 �?�를 생성�?고, 관찰�?고, 일�?화 된 추측을 �?�성�?는 방향으로 �?�제를 실�?�?여 사분면을 학습�?는 데 유용한 도구입니다. Geometric Supposer, Cabri Geometry 및 Geometer Sketchpad와 같이 자주 사용�?는 DGE (Dynamic Geometry Environments)와 마찬가지로 Quad2Go는 기�?학적 객체, 해당 객체를 조작�?는 도구 및 측정 도구를 제공합니다. 그것은 사변�?�과 대각선�? 구조로 제한됩니다. Quad2Go를 사용�?면 직선 모서리와 �?침�?으로...
자세한 내용을