Deduções permite que você aprenda facilmente dedução natural
Baixe Agora

Deduções Classificação e resumo

Deduções Tag

lógica aprender dedução Aprenda dedução software lógico dedução natural

Deduções Descrição

Permite que você aprenda facilmente dedução natural Deduções é um software educacional projetado para ajudar os alunos a aprender provas na lógica formal. Deduções destina-se a ser usada por estudantes e instrutores de cursos lógicos de nível universitário em filosofia, ciência da computação e matemática. Deduções fornecem 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 em lógica.deduções visa resolver os três problemas que tornam as provas mais difíceis Componente de 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. Aqui estão algumas principais características das "deduções": · Erros de sinalização - Deduções Erros de sinalizadores em provas assim que elas ocorrem. Isso é importante, porque quando os alunos estão aprendendo as provas, muitas vezes não têm certeza de como aplicar certas regras e freqüentemente acabam praticando erros. Por sinalização de erros, as deduções impede que os alunos aprendam as regras erradas. · Dica mecanismo - Deduções fornece sugestões sobre como completar provas. Uma frustração comum dos alunos é que eles ficam presos no meio de uma prova. Deduções tem uma característica sugestão que analisa a prova que o aluno está trabalhando e sugere como progredir. · Tutoriais multimídia - Deduções vem com um conjunto de tutoriais multimídia. Há tantas regras para construir provas que muitas vezes são difíceis para os alunos manter todos os detalhes em linha reta. Deduções vem com um conjunto de tutoriais em vídeo, divididos em dois grupos: Como usar deduções para aprender lógica e como usar as regras lógicas. · Flexibilidade - Deduções é projetada para trabalhar com muitos sistemas lógicos diferentes e livros didáticos. Símbolos padrão e alternativos são incluídos, bem como regras que podem ser ativadas e desligadas individualmente. · 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 são projetadas e escritas para um sistema operacional moderno (Mac OS X) . Deduções aproveitam as tecnologias do Mac OS X para fornecer uma interface de usuário limpa, suporte a arrastar e soltar e um sistema de ajuda abrangente. · Mais eficientes do que as deduções de papel cuida dos detalhes de edição. Ao trabalhar no papel, especialmente em provas grandes, as provas devem ser retrabalhadas para adicionar ou remover linhas, as justificativas existentes devem ser renumeradas e assim por diante. Esses detalhes são necessários para a prova de trabalho, mas têm pouco a ver com a aprendizagem ou compreensão de provas. Deduções cuida dessas tarefas de limpeza ajustando automaticamente as provas quando as linhas são adicionadas, removidas ou movidas. Limitações: · Apenas algumas regras estão ativadas. O que há de novo nesta versão: · Algoritmos de inferência ajustados para que eles sejam mais flexíveis e · Eficiente · Adicionado ajuda mais detalhada em regras de inferência · Problema fixo com eliminação de negação / introdução não sendo identificado · (Às vezes) como regras de descarga · Cerco fixo que ocorreria quando as guias do usuário para uma justificativa vazia em um novo · Linha e seleciona "Desfazer"

Deduções Software Relacionado