Mac 용 공제 공식 논리에서 증거를 배우십시오.
지금 다운로드

Mac 용 공제 순위 및 요약

Mac 용 공제 태그

Mac 용 공제 설명

공제는 학생들이 공식 논리에서 증거를 배우는 데 도움이되는 교육 소프트웨어입니다. 그것은 철학, 수학 및 컴퓨터 과학에서 대학 수준의 논리 과정의 강사와 학생들이 사용하기위한 것입니다. 증명의 각 단계에서 즉각적인 피드백을 제공하고, 증거를 완료하는 방법에 대한 힌트를 제공하며 논리에서 여러 가지 까다로운 개념을 설명하고 검토하는 비디오 자습서 세트가 함께 제공됩니다. 공제 공제는 공식 논리 과정의 가장 어려운 구성 요소를 증명하는 세 가지 문제를 해결하는 것을 목표로합니다. 규칙이 올바르게 적용되는지 여부를 알지 않고, 증거의 중간에 갇히고, 규칙과 전략에 대한 불확실성을 알지 못합니다. 공제는 힌트 엔진을 포함하여 오류를 플래그로하고 복잡한 규칙을 통한 학생들을 돕는 멀티미디어 자습서를 갖는 힌트 엔진을 포함하여 오류를 플래그로 지정합니다. 특징 하이라이트 : 1. 교과서 : 공제 : (i) 논리 책 (Bergmann, Moor 및 Nelson), (ii) 현대식 공식 논리 프라이머 (Paul Teller), (III ) 수학 논리에 대한 심각한 소개 (토니 로이). 2. 오류 플래그 - 공제 플래그가 발생하는 즉시 증명의 오류를 나타냅니다. 학생들이 처음으로 학습하는 증거 인 경우 공제는 학생들이 잘못된 규칙을 배우지 못하게하기 때문입니다. 3. 힌트 엔진 - 공제는 증거를 완료하는 방법에 대한 힌트를 제공합니다. 학생들이 증거 중간에 갇혀있을 때 공제는 진전을 어떻게 만드는 방법을 제시합니다. 4. 멀티미디어 자습서 - 공제 멀티미디어 자습서 세트는 두 그룹으로 나뉩니다 : 공제를 사용하여 논리를 배우고 논리 규칙을 사용하는 방법. 5. 유연성 - 공제는 많은 다른 논리 시스템 및 교과서를 사용하도록 설계되었습니다. 표준 및 대체 기호는 모두뿐만 아니라 개별적으로 켜고 끌 수있는 규칙이 포함됩니다. 6. 현대적인 디자인 - 공제는 현대적인 인터페이스를 제공합니다. 최근 몇 년 동안 많은 업데이트를 보지 못했을 필드에 새로운 항목으로 (많은 논리 프로그램은 DOS, Windows 9X 또는 기본 Java 애플릿을 위해 작성됩니다), 공제는 Mac OS X의 기술을 활용하여 깨끗한 사용자 인터페이스를 제공합니다. 드래그 앤 드롭 지원 및 포괄적 인 도움말 시스템. 7. 종이보다 효율적으로 - 회선이 추가, 제거되거나 이동 될 때 증명을 자동으로 조정하여 편집 세부 사항을 처리합니다.

Mac 용 공제 관련 소프트웨어