Deductions

As deduções é um software educativo projetado para ajudar os alunos a aprender provas de lógica formal. Destina-se a ser utilizado por professores e alunos de cursos de lógica de nível universitário de filosofia, matemática e ciência da computação. Ele dá um retorno imediato em cada fase de uma prova, fornece dicas sobre como completar as provas, e vem com um conjunto de tutoriais em vídeo que explicam e rever vários conceitos desafiadores em lógica. Deduções visa resolver os três problemas que fazem provas o componente mais difícil de cursos de lógica formal: não saber se as regras são aplicadas corretamente, ficando preso no meio de uma prova, ea incerteza sobre as regras e estratégias. Deduções aborda estas questões sinalizando erros, incluindo um motor dica para fazer sugestões sobre como completar uma prova, e ter tutoriais multimédia para ajudar os alunos por meio de regras complexas. Características Destaques: 1. Livros didáticos: Deduções é projetado para funcionar perfeitamente com os seguintes livros: (i) O Livro Logic (por Bergmann, Moor, e Nelson), (ii) A Lógica Formal Primer Moderna (por Paul Teller), (iii ) A Serious Introdução à Lógica Matemática (por Tony Roy). 2. Erros Sinalização - erros bandeiras Deduções em provas assim que eles ocorrem. Isso é importante, porque quando os alunos são provas começando a aprender, Deduções impede estudantes de aprender as regras erradas. 3. Dica motor - Deduções fornece dicas sobre como completar as provas. Quando os alunos ficar preso no meio de uma prova, Deduções sugere como fazer progresso. 4. Tutoriais Multimédia - Deduções vem com um conjunto de tutoriais multimédia, divididos em dois grupos: Como usar o Deduções para aprender a lógica, e como usar as regras da lógica. 5. Flexibilidade - Deduções é projetado para trabalhar com muitos sistemas lógicos diferentes e livros didáticos. Ambos os símbolos padrão e alternativos estão incluídos, bem como as regras que podem ser ligados e desligados individualmente. 6. modernos Design - Deduções fornece uma interface moderna. Como uma nova entrada em um campo que não tem visto muitas atualizações nos últimos anos (muitos programas lógicos são escritos para DOS, Windows 9x, ou são applets Java rudimentares), Deduções aproveita as tecnologias do Mac OS X para fornecer uma interface limpa, apoio drag-and-drop, e um sistema de ajuda abrangente. . 7. mais eficiente do que Paper - Deduções cuida dos detalhes de edição ajustando automaticamente provas quando as linhas são adicionados, removidos ou movidos

O que é novo nesta versão:

• adicionou suporte para o sistema de regras Logic Livro PD +
  
• adicionou suporte para Accessible sistema de regras + Introdução ND
  
• acrescentou capacidade de exportar uma dedução para um arquivo de texto
  
• acrescentou capacidade de exportar uma dedução a um trecho de LaTeX

Limitações :

Apenas o seguintes regras de dedução estão disponíveis na versão de teste: Espaço, Assunção, Reiteração, Conjunção Introdução, Conjunção Eliminação, Conditional Introdução, Conditional Eliminação, Tilde Introdução, Tilde Eliminação