Deduções para Mac. Aprenda provas na lógica formal.
Baixe Agora

Deduções para Mac. Classificação e resumo

Deduções para Mac. Tag

Deduções para Mac. Descrição

Deduções são softwares educacionais projetados para ajudar os alunos a aprender provas na lógica formal. Pretende-se ser usado por instrutores e estudantes de cursos lógicos em nível universitário em filosofia, matemática e ciência da computação. Dá feedback imediato em cada etapa de uma prova, fornece dicas sobre como completar provas e vem com um conjunto de tutoriais em vídeo que explicam e revisam vários conceitos desafiadores na lógica. Deduções visa resolver os três problemas que tornam as provas o componente mais difícil dos cursos de lógicos formais: não sabendo se as regras são aplicadas corretamente, ficando presas no meio de uma prova e incerteza sobre as regras e estratégias. Deduções abordam essas questões por sinalizando erros, incluindo um mecanismo de indícios para fazer sugestões sobre como completar uma prova e ter tutoriais multimídia para ajudar os alunos através de regras complexas. Recursos: 1. Livros didáticos: Deduções é projetado para funcionar perfeitamente com os seguintes livros didáticos: (i) o livro de lógica (por Bergmann, Moor e Nelson), (ii) um moderno primer lógico formal (por Paul Celler), (III ) Uma introdução séria à lógica matemática (por Tony Roy). 2. Erros de sinalização - deduções Erros de sinalizadores em provas assim que ocorrem. Isso é importante, porque quando os alunos são primeiros comprovantes, as deduções impede que os alunos aprendam as regras erradas. 3. Dica Engine - Deduções fornece dicas sobre como completar provas. Quando os alunos ficam presos no meio de uma prova, as deduções sugerem como progredir. 4. Tutoriais multimídia - Deduções vem com um conjunto de tutoriais multimídia, divididos em dois grupos: como usar deduções para aprender lógica e como usar as regras lógicas. 5. Flexibilidade - Deduções é projetada para trabalhar com muitos sistemas lógicos e livros didáticos diferentes. Símbolos padrão e alternativos são incluídos, bem como regras que podem ser ativadas e desligadas individualmente. 6. Design moderno - Deduções fornece uma interface moderna. Como uma nova entrada em um campo que não viu muitas atualizações nos últimos anos (muitos programas lógicos são escritos para DOS, Windows 9x, ou são applets java rudimentar), as deduções aproveitam as tecnologias do Mac OS X para fornecer uma interface de usuário limpa, Suporte de arrastar e soltar e um sistema de ajuda abrangente. 7. Mais eficiente do que as deduções de papel cuida dos detalhes de edição ajustando automaticamente as provas quando as linhas são adicionadas, removidas ou movidas.

Deduções para Mac. Software Relacionado