Deducciones le permite aprender fácilmente la deducción natural
Descargar ahora

Deducciones Clasificación y resumen

Deducciones Etiquetas

lógica aprender deducción aprender deducción software lógico deducción natural

Deducciones Descripción

Le permite aprender fácilmente la deducción natural. Deducciones es un software educativo diseñado para ayudar a los estudiantes a aprender pruebas en la lógica formal. Las deducciones están destinadas a ser utilizadas por estudiantes e instructores de cursos lógicos a nivel universitario en filosofía, informática y matemáticas. Las deducciones proporcionan retroalimentación inmediata en cada etapa de una prueba, proporciona sugerencias sobre cómo completar las pruebas, y viene con un conjunto de tutoriales de video que explican y revisan varios conceptos desafiantes en Logic.Donsucks, tiene como objetivo resolver los tres problemas que hacen las pruebas más difíciles. Componente de cursos de lógica formal: sin saber si las reglas se aplican correctamente, se atascan en medio de una prueba e incertidumbre sobre las reglas y estrategias. Deducciones aborda estos problemas mediante la marca de errores, incluido un motor de sugerencia para hacer sugerencias sobre cómo completar una prueba, y tener tutoriales multimedia para ayudar a los estudiantes a través de reglas complejas. Aquí hay algunas características clave de las "deducciones": · Errores de bandeja: las deducciones banderas errores en las pruebas tan pronto como ocurran. Esto es importante, porque cuando los estudiantes son pruebas de aprendizaje por primera vez, a menudo no están seguros de cómo aplicar ciertas reglas, y con frecuencia terminan practicando errores. Al marcar errores, las deducciones evitan que los estudiantes aprendan las reglas equivocadas. · Motor de sugerencia: las deducciones proporcionan sugerencias sobre cómo completar las pruebas. Una frustración común de los estudiantes es que se atascan en medio de una prueba. Las deducciones tienen una característica de sugerencias que analiza la prueba en que el estudiante está trabajando y sugiere cómo progresar. · Tutoriales multimedia: las deducciones vienen con un conjunto de tutoriales multimedia. Hay tantas reglas para construir pruebas que a menudo es difícil para los estudiantes mantener todos los detalles rectos. Las deducciones vienen con un conjunto de tutoriales de video, divididos en dos grupos: cómo usar deducciones para aprender lógica y cómo usar las reglas lógicas. · Flexibilidad: las deducciones están diseñadas para trabajar con muchos sistemas lógicos diferentes y libros de texto. Se incluyen ambos símbolos estándar y alternativos, así como reglas que pueden estar encendidas y apagadas individualmente. · Diseño moderno: las deducciones proporcionan una interfaz moderna. Como una nueva entrada en un campo que no ha visto muchas actualizaciones en los últimos años (muchos programas lógicos están escritos para DOS, Windows 9x, o son applets Java rudimentarios), las deducciones están diseñadas y escritas para un sistema operativo moderno (Mac OS X) . Las deducciones aprovechan las tecnologías de Mac OS X para proporcionar una interfaz de usuario limpia, soporte de arrastrar y soltar y un sistema de ayuda integral. · Más eficiente que el papel: las deducciones se encargan de los detalles de la edición. Cuando se trabaja en papel, especialmente en pruebas grandes, las pruebas deben volver a trabajar para agregar o eliminar líneas, las justificaciones existentes deben ser renumeradas, etc. Estos detalles son necesarios para que la prueba funcione, pero tiene poco que ver con el aprendizaje o la comprensión de las pruebas. Las deducciones se ocupan de estas tareas de servicio de limpieza al ajustar automáticamente las pruebas cuando se agregan, se eliminan o se mueven. Limitaciones: · Sólo algunas reglas están habilitadas. ¿Qué hay de nuevo en este lanzamiento: · Algoritmos de inferencia ajustados para que sean más flexibles y · eficiente · Añadido ayuda más detallada sobre las reglas de inferencia. · Problema fijo con la eliminación de negación / introducción no se está identificando · (A veces) como reglas de descarga · Se corrigió un choque que ocurriría cuando el usuario pestaña a una justificación vacía en un nuevo · Línea y selecciona "Deshacer"

Deducciones Software relacionado