Deductions

Las deducciones es un software educativo diseñado para ayudar a los estudiantes a aprender las pruebas en la lógica formal. Está destinado a ser utilizado por los instructores y alumnos de los cursos de lógica a nivel universitario en filosofía, las matemáticas y la informática. Se da una respuesta inmediata en cada etapa de la prueba, ofrece pistas sobre cómo llevar a cabo las pruebas, y viene con un conjunto de tutoriales en vídeo que explican y examinan varios conceptos difíciles en la lógica. Deducciones tiene como objetivo resolver los tres problemas que hacen pruebas el componente más difícil de cursos de lógica formal: no saber si las normas se aplican correctamente, se queda pegada en el medio de una prueba, y la incertidumbre sobre las reglas y estrategias. Deducciones aborda estas cuestiones marcando errores, incluyendo un motor de pista para hacer sugerencias sobre cómo llevar a cabo una prueba, y que tiene tutoriales multimedia para ayudar a los estudiantes a través de reglas complejas. Características destacados: 1. Libros: Deducciones está diseñado para trabajar de forma integrada con los siguientes libros de texto: (i) El libro de lógica (por Bergmann, Moor, y Nelson), (ii) una lógica Primer Formal Moderno (por Paul Teller), (iii ) Un tipo serio Introducción a la Lógica Matemática (por Tony Roy). 2. Errores - Marcado de banderas Deducciones errores en pruebas tan pronto como se producen. Esto es importante, porque cuando los estudiantes están aprendiendo primero pruebas, Deducciones impide a los estudiantes de aprender las reglas equivocadas. 3. Sugerencia Engine - Deducciones ofrece pistas sobre cómo llevar a cabo las pruebas. Cuando los estudiantes se atascan en el medio de una prueba, Deducciones sugiere cómo avanzar. 4. Multimedia Tutoriales - Deducciones viene con un conjunto de tutoriales multimedia, dividido en dos grupos: cómo utilizar las deducciones para aprender la lógica y el uso de las reglas de la lógica. 5. Flexibilidad - Deducciones está diseñado para trabajar con muchos sistemas lógicos diferentes y libros de texto. Ambos símbolos estándar y alternativos se incluyen, así como las reglas que se pueden activar y desactivar individualmente. 6. Diseño moderno - Deducciones ofrece una interfaz moderna. Como una nueva entrada en un campo que no ha visto muchos cambios en los últimos años (muchos programas lógicos están escritos para DOS, Windows 9x, o son los applets de Java rudimentarias), Deducciones aprovecha las tecnologías de Mac OS X para proporcionar una interfaz de usuario limpia, soporte de arrastrar y soltar, y un completo sistema de ayuda. . 7. más eficiente que el de papel - Las deducciones se encarga de los detalles de edición mediante el ajuste automático pruebas cuando se añaden líneas, eliminado o movido

¿Qué hay de nuevo en esta versión:

• añadió soporte para el sistema de reglas de lógica libro PD +
  
• añadido soporte para accesible sistema de reglas + Introducción ND
  
• capacidad de exportar una deducción en un archivo de texto añadió
  
• capacidad de exportar una deducción de un fragmento LaTeX añade

Limitaciones :

Sólo el siguientes reglas de deducción están disponibles en la versión de prueba: Local, Asunción, La reiteración, Conjunción Introducción, Conjunción Eliminación, condicional Introducción, condicional Eliminación, Tilde Introducción, Tilde Eliminación