Deductions

학생들은 형식​​ 논리에 증거를 학습 할 수 있도록 설계된 교육 소프트웨어는

공제입니다. 이 강사와 철학, 수학 및 컴퓨터 과학 대학 수준의 논리 과정의 학생들이 사용하기위한 것입니다. 그것은, 증거의 각 단계에서 즉각적인 피드백을 제공 교정을 완료하는 방법에 대한 힌트를 제공하고, 설명하고, 논리의 여러 도전 개념을 검토 비디오 자습서 세트와 함께 제공됩니다. 규칙은 규칙과 전략에 대한 증거의 중간과 불확실성에 갇히지, 올바르게 적용 여부를 모르고 : 공제 증명 형식 논리 과정에서 가장 어려운 요소를 구성하는 세 가지 문제를 해결하는 것을 목표로하고있다. 공제는 증거를 완료하는, 멀티미디어 자습서를 갖는 복잡한 규칙을 통해 학생들을하는 방법에 대한 제안을 할 수있는 힌트 엔진을 포함하여, 오류를 신고하여 이러한 문제를 해결합니다. 기능 하이라이트 : 1. 교재 : 공제는 다음의 교과서와 원활하게 작동하도록 설계는 (i) (Bergmann은, 무어, 그리고 넬슨) 논리 도서, (II) (폴 텔러에 의해) 현대 형식 논리 입문서, (ⅲ 토니 로이에 의해 수학적 논리에) 심각한 소개 (). 2. 플래그 표시 오류 - 오류가 발생할 때 즉시 교정에서 공제 플래그 오류가 발생합니다. 학생들이 먼저 증거를 학습 할 때, 공제가 잘못된 규칙을 학습에서 학생들을 방지하기 때문에 이것은 중요하다. 3. 힌트 엔진 - 공제는 증거를 완료하는 방법에 대한 힌트를 제공한다. 학생들은 증거의 중간에 박히 경우, 공제 진행을하는 방법을 제안한다. 논리를 배울 공제를 사용하는 방법, 어떻게 논리 규칙을 사용하는 방법 : - 4. 멀티미디어 자습서 공제는 두 그룹으로 나누어 멀티미디어 자습서 세트와 함께 제공됩니다. 5. 유연성 - 공제는 다양한 로직 시스템과 교과서와 함께 작동하도록 설계되었습니다. 표준 및 다른 기호는 오프 개별적으로 끌 수있다 규칙뿐만 아니라, 포함되어 있습니다. 6. 현대 디자인 - 공제는 현대적인 인터페이스를 제공합니다. (많은 로직 프로그램은 DOS, 윈도우 9x 용으로 작성된, 또는 기초적인 자바 애플릿 아르 아르) 최근 몇 년 동안 많은 업데이트를 본 적이없는 필드에 새 항목으로 공제 깨끗한 사용자 인터페이스를 제공하는 맥 OS X의 기술을 활용, 드래그 앤 드롭 지원, 포괄적 인 도움말 시스템. 7. 용지보다 더 효율적 - 공제 라인이 제거 또는 이동, 추가 할 때 자동으로 교정을 조정하여 편집 세부 사항을 처리한다

이 릴리스의 새로운 기능 :

이 추가 지원. 논리 예약 PD + 규칙 시스템
액세스 소개 ND + 규칙 시스템을위한 추가 지원
텍스트 파일로 공제를 내보내는 기능을 추가
라텍스 조각에

이 제한을 공제를 내보내는 기능을 추가 :

이 만 다음과 같은 추론 규칙은 시험 버전에서 사용할 수 있습니다 : 전제, 가정, 반복, 접속사 소개, 접속사 제거, 조건부 소개, 조건부 제거, 물결표 소개, 물결표 제거