Deductions para Mac

Name: Deductions
Rating: 4 (1 reviews)
Author: Wandering Mango

Descargar ahora

¿Has usado Deductions para Mac?

Descripción del desarrollador

By Wandering Mango

Aprender pruebas en lógica formal.

Deductions es un software educativo diseñado para ayudar a los estudiantes a aprender pruebas en lógica formal. Está destinado a ser utilizado por instructores y estudiantes de cursos de lógica a nivel universitario en filosofía, matemáticas e informática. Proporciona retroalimentación inmediata en cada etapa de una prueba, ofrece pistas sobre cómo completar las pruebas y viene con un conjunto de tutoriales en video que explican y revisan varios conceptos desafiantes en lógica. Deductions tiene como objetivo resolver los tres problemas que hacen que las pruebas sean el componente más difícil de los cursos de lógica formal: no saber si las reglas se aplican correctamente, quedarse atascado en medio de una prueba y la incertidumbre sobre las reglas y estrategias. Deductions aborda estos problemas señalando errores, incluyendo un motor de pistas para hacer sugerencias sobre cómo completar una prueba, y teniendo tutoriales multimedia para ayudar a los estudiantes con reglas complejas. Características Destacadas: 1. Libros de texto: Deductions está diseñado para funcionar sin problemas con los siguientes libros de texto: (i) The Logic Book (de Bergmann, Moor y Nelson), (ii) A Modern Formal Logic Primer (de Paul Teller), (iii) A Serious Introduction to Mathematical Logic (de Tony Roy). 2. Señalización de Errores - Deductions señala errores en las pruebas tan pronto como ocurren. Esto es importante, porque cuando los estudiantes están aprendiendo pruebas por primera vez, Deductions evita que los estudiantes aprendan las reglas incorrectas. 3. Motor de Pistas - Deductions proporciona pistas sobre cómo completar las pruebas. Cuando los estudiantes se quedan atascados en medio de una prueba, Deductions sugiere cómo avanzar. 4. Tutoriales Multimedia - Deductions viene con un conjunto de tutoriales multimedia, divididos en dos grupos: cómo usar Deductions para aprender lógica, y cómo usar las reglas de lógica. 5. Flexibilidad - Deductions está diseñado para trabajar con muchos sistemas de lógica y libros de texto diferentes. Se incluyen tanto símbolos estándar como alternativos, así como reglas que se pueden activar y desactivar individualmente. 6. Diseño Moderno - Deductions proporciona una interfaz moderna. Como una nueva entrada en un campo que no ha visto muchas actualizaciones en los últimos años (muchos programas de lógica están escritos para DOS, Windows 9x, o son applets de Java rudimentarios), Deductions aprovecha 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. 7. Más Eficiente que el Papel - Deductions se encarga de los detalles de edición ajustando automáticamente las pruebas cuando se añaden, eliminan o mueven líneas.