Deductions

Déductions est un logiciel éducatif conçu pour aider les élèves à apprendre preuves dans la logique formelle. Il est destiné à être utilisé par les enseignants et les étudiants de cours de logiques de niveau collégial dans la philosophie, les mathématiques et l'informatique. Il donne une rétroaction immédiate à chaque étape d'une preuve, fournit des conseils sur la façon de remplir des preuves, et est livré avec un ensemble de tutoriels vidéo qui expliquent et examinent plusieurs concepts difficiles dans la logique. Déductions vise à résoudre les trois problèmes qui font preuves la composante la plus difficile de cours formels logiques: ne pas savoir si les règles sont appliquées correctement, se retrouver au milieu d'une preuve, et l'incertitude sur les règles et stratégies. Déductions aborde ces questions en signalant des erreurs, y compris un moteur de soupçon de faire des suggestions sur la façon de remplir une preuve, et ayant didacticiels multimédias pour aider les élèves grâce à des règles complexes. Caractéristiques Faits saillants: 1. Livres: Déductions est conçu pour fonctionner de façon transparente avec les manuels suivants: (i) La logique livre (par Bergmann, Moor, et Nelson), (ii) A Primer logique formelle moderne (par Paul Teller), (iii ) A Serious Introduction à la logique mathématique (par Tony Roy). 2. Erreurs Drapeaux - Retenues drapeaux erreurs dans preuves dès qu'ils se produisent. Ce est important, parce que quand les étudiants sont d'abord des preuves apprennent, Déductions empêche les étudiants d'apprendre les mauvaises règles. 3. Suggestion Engine - Déductions fournit des indices sur la façon de remplir preuves. Lorsque les élèves sont coincés au milieu d'une preuve, Déductions suggère comment faire des progrès. 4. Multimédia Tutoriels - Retenues est livré avec un ensemble de didacticiels multimédias, divisés en deux groupes: comment utiliser des déductions pour apprendre la logique et la façon d'utiliser les règles logiques. 5. Flexibilité - Retenues est conçu pour fonctionner avec de nombreux systèmes manuels et logiques différentes. Les deux symboles standard et alternatives, sont inclus, ainsi que les règles qui peuvent être activées et désactivées individuellement. 6. Design moderne - Retenues fournit une interface moderne. Comme une nouvelle entrée dans un domaine qui n'a pas vu beaucoup de mises à jour au cours des dernières années (de nombreux programmes logiques sont écrits pour DOS, Windows 9x, ou sont des applets Java rudimentaires), Déductions se appuie sur les technologies de Mac OS X pour fournir une interface utilisateur propre, fonction glisser-déposer, et un système d'aide complet. . 7. Plus efficace que papier - Déductions prend soin des détails d'édition en ajustant automatiquement preuves lorsque les lignes sont ajoutées, supprimées ou déplacées

Ce qui est nouveau dans cette version:

• a ajouté le support pour le système de règle Logic livre PD +
  
• a ajouté le support pour Accessible système + règle Présentation ND
  
• Ajout de la possibilité d'exporter une déduction dans un fichier texte
  
• Ajout de la possibilité d'exporter une déduction à un extrait de LaTeX

Limites :

Seul le règles de déduction suivantes sont disponibles dans la version d'essai: Local, Assomption, Réitération, Conjonction introduction, Conjonction élimination, introduction conditionnelle, élimination conditionnelle, Tilde introduction, Tilde élimination