공제 자연 공제를 쉽게 배울 수 있습니다.
지금 다운로드

공제 순위 및 요약

공제 태그

논리 배우다 공제 공제를 배우십시오 논리 소프트웨어 자연 공제

공제 설명

자연 공제를 쉽게 배울 수 있습니다 공제는 학생들이 공식 논리에서 증거를 배우는 데 도움이되는 교육 소프트웨어입니다. 공제는 철학, 컴퓨터 과학 및 수학에서 대학 수준의 논리 코스의 학생과 강사가 사용하기위한 것입니다. 공제는 증명의 각 단계에서 즉각적인 피드백을 제공하고, 증거를 완료하는 방법에 대한 힌트를 제공하며, 논리에서 몇 가지 도전적인 개념을 설명하고 검토하는 비디오 자습서를 제공합니다. 가문은 가장 어려운 증거를 증명하는 세 가지 문제를 해결하는 것을 목표로합니다. 공식 논리 코스의 구성 요소 : 규칙이 올바르게 적용되는지 여부를 알지 못하고, 증거의 중간에 멈추고 규칙과 전략에 대한 불확실성을 알지 못합니다. 공제는 힌트 엔진을 포함하여 오류를 플래그로하고 복잡한 규칙을 통한 학생들을 돕는 멀티미디어 자습서를 갖는 힌트 엔진을 포함하여 오류를 플래그로 지정합니다. 다음은 "공제"의 주요 기능이 있습니다. · 오류 플래그 - 공제는 발생하는 즉시 증명의 오류를 나타냅니다. 학생들이 처음으로 학습하는 경우가 있기 때문에 특정 규칙을 적용하는 방법은 종종 확실하지 않으며 실수를 자주 끝내는 것입니다. 오류를 플래그로함으로써 공제는 학생들이 잘못된 규칙을 배우지 못하게합니다. · 힌트 엔진 - 공제는 증거를 완료하는 방법에 대한 힌트를 제공합니다. 학생들의 일반적인 좌절감은 그들이 증거의 한가운데에 갇혀 있다는 것입니다. 공제는 학생이 일하고있는 증거를 보이는 힌트 기능을 가지고 있으며 진행되는 방법을 제안합니다. · 멀티미디어 자습서 - 공제는 멀티미디어 자습서 세트가 함께 제공됩니다. 학생들이 모든 세부 사항을 똑바로 유지할 수있는 증거를 건설하는 것에 대한 많은 규칙이 있습니다. 공제는 두 그룹으로 나뉘어져있는 비디오 자습서 집합과 함께 제공되며, 로직을 배우고 논리 규칙을 사용하는 방법을 사용하는 방법. · 유연성 - 공제는 많은 다른 논리 시스템 및 교과서를 사용하도록 설계되었습니다. 표준 및 대체 기호는 모두뿐만 아니라 개별적으로 켜고 끌 수있는 규칙이 포함됩니다. · 현대적인 디자인 - 공제는 현대적인 인터페이스를 제공합니다. 최근 몇 년 동안 많은 업데이트를 보지 못했을 필드에 새로운 항목으로 (많은 논리 프로그램은 DOS, Windows 9x 또는 기본 Java 애플릿을 위해 작성되어 있음) 현대 운영 체제 (Mac OS X)에 대한 공제가 설계되고 기록됩니다. ...에 공제는 Mac OS X의 기술을 활용하여 깨끗한 사용자 인터페이스, 드래그 앤 드롭 지원 및 포괄적 인 도움말 시스템을 제공합니다. · 종이보다 효율적으로 - 공제는 편집 세부 사항을 처리합니다. 특히 큰 증명에서 종이 작업을 할 때, 라인을 추가하거나 제거하기 위해 증거가 재 작업되어야하며, 기존의 정당성은 다시 번호를 매겨야합니다. 이러한 세부 사항은 증거가 일어나는 데 필요하지만 학습이나 증거를 이해하거나 이해하는 것과 거의 관련이 없습니다. 공제는 선을 추가, 제거 또는 이동시 증명을 자동으로 조정하여 이러한 가사 작업을 처리합니다. 제한 사항 : · 일부 규칙 만 활성화됩니다. 이 릴리스에서는 새로운 기능 : ·보다 유연하고 · 효율적인 · 추론 규칙에 대한 자세한 도움말이 추가되었습니다 · 부정 제거 / 소개되지 않는 문제가 해결되지 않음 · (때로는) 배출 규칙으로 · 사용자가 새로운 정당화에 대한 사용자 탭에있을 때 발생하는 고정 된 충돌이 발생합니다. · 줄을 선택하고 "실행 취소"를 선택합니다.

공제 관련 소프트웨어