Deductions

Abzüge ist Lernsoftware entwickelt, um Studenten lernen, Beweise in der formalen Logik. Es ist beabsichtigt, von Lehrenden und Studierenden des College-Level-Logik-Kurse in Philosophie, Mathematik und Informatik eingesetzt werden. Es gibt eine unmittelbare Rückmeldung in jeder Phase der Beweis, gibt Tipps, wie man Beweise zu vervollständigen, und verfügt über eine Reihe von Video-Tutorials, die erklären, und überprüfen Sie mehrere anspruchsvolle Konzepte in der Logik. Abzüge zielt darauf ab, die drei Probleme, die Beweise der schwierigste Teil der formalen Logik Kurse machen zu lösen: nicht zu wissen, ob ordnungsgemäß angewandt werden, immer in der Mitte von einem Beweis, und die Unsicherheit über die Regeln und Strategien fest. Abzüge werden diese Probleme durch das Markieren von Fehlern, einschließlich einer Spur Motor Vorschläge, wie Sie einen Beweis zu vervollständigen, und mit multimedialen Lernprogramme für Studenten durch komplexe Regeln zu helfen. Merkmale Highlights: 1. Lehrbücher: Abzüge lässt sich problemlos mit den folgenden Lehrbüchern zu arbeiten: (i) Die Logik Book (von Bergmann, Moor, und Nelson), (ii) Eine moderne formale Logik Primer (von Paul Teller), (iii ) A Serious Einführung in die Mathematische Logik (von Tony Roy). 2. Kennzeichnen von Errors - Abzüge Fahnen Fehler in Beweisen, sobald sie auftreten. Dies ist wichtig, weil, wenn die Schüler zuerst lernen Beweisen verhindert Abzüge Studenten lernen die falschen Regeln. 3. Hinweis Engine - Abzüge gibt Tipps, wie man Beweise zu vervollständigen. Wenn die Schüler bekommen in der Mitte von einem Beweis fest, deutet darauf hin, Abzüge, wie man Fortschritte machen. 4. Multimedia Tutorials - Abzüge verfügt über eine Reihe von Multimedia-Lernprogramme, in zwei Gruppen eingeteilt: wie man Abzüge verwenden, um Logik zu erfahren, und wie man die logischen Regeln zu verwenden. 5. Flexibilität - Abzüge ist entworfen, um mit vielen verschiedenen Logiksysteme und Lehrbüchern zu arbeiten. Sowohl Standard- als auch alternative Symbole enthalten sind, sowie Regeln, die eingeschaltet werden können und aus einzeln. 6. Modernes Design - Abzüge bietet eine moderne Schnittstelle. Als neuen Eintrag in ein Feld, das nicht viele Updates in den letzten Jahren gesehen hat (viele Logikprogramme für DOS, Windows 9x geschrieben oder sind rudimentär Java-Applets), nutzt die Abzüge die Technologien von Mac OS X, um eine saubere Benutzerschnittstelle, Drag-and-Drop-Unterstützung und ein umfassendes Hilfesystem. . 7. effizienter als Papier - Abzüge kümmert sich um die Details bearbeiten, indem sie automatisch Beweise, wenn Zeilen hinzugefügt, entfernt oder verschoben

Was ist neu in dieser Pressemitteilung:

• Unterstützung für die Logik Buch PD + Regelsystem
  
• Unterstützung für Barriere Einführung ND + Regelsystem
  
• zusätzliche Möglichkeit, einen Abzug in eine Textdatei exportieren
  
• zusätzliche Möglichkeit, einen Abzug zu einem LaTeX-Snippet exportieren

Grenzen :

Nur die nach Abzug Regeln sind in der Testversion zur Verfügung: Räumlichkeiten, Mariä Himmelfahrt, Die Wiederholung, Konjunktion Einführung, Konjunktion Elimination, Conditional Einführung, Conditional Elimination, Tilde Einführung, Tilde Beseitigung