Deductions

Le detrazioni è un software educativo progettato per aiutare gli studenti a imparare prove di logica formale. Esso è destinato a essere utilizzato da docenti e studenti di corsi di logica di livello universitario in filosofia, matematica e informatica. Esso fornisce un feedback immediato in ogni fase di una prova, fornisce suggerimenti su come portare a termine le prove, e viene fornito con una serie di video tutorial che spiegano e rivedere alcuni concetti difficili in logica. Detrazioni mira a risolvere i tre problemi che rendono prove la componente più difficile di corsi logica formale: non sapendo se le regole siano applicate correttamente, rimanere bloccati nel bel mezzo di una prova, e l'incertezza circa le regole e le strategie. Detrazioni affronta questi problemi segnalando errori, tra cui un motore di suggerimento per dare suggerimenti su come portare a termine una prova, e avendo tutorial multimediali per aiutare gli studenti attraverso regole complesse. Caratteristiche salienti: 1. Libri antichi: Detrazioni è progettato per funzionare con i seguenti testi: (i) Il libro Logic (da Bergmann, Moor, e Nelson), (ii) A Modern Formal Logic Primer (da Paul Teller), (iii ) A Serious Introduction to Mathematical Logic (da Tony Roy). 2. Errori Segnalazione dei - Deduzioni bandiere errori di prove non appena si verificano. Questo è importante, perché quando gli studenti sono in primo luogo le prove imparando, Deduzioni impedisce agli studenti di imparare le regole sbagliate. 3. Suggerimento Engine - Deduzioni fornisce suggerimenti su come completare le prove. Quando gli studenti si blocca nel mezzo di una prova, detrazioni suggerisce come fare progressi. 4. Multimedia Tutorials - Deduzioni viene fornito con una serie di tutorial multimediali, divisi in due gruppi: come utilizzare Detrazioni per imparare la logica, e come utilizzare le regole logiche. 5. Flessibilità - Deduzioni è progettato per funzionare con molti sistemi logici e libri di testo differenti. Entrambi i simboli standard e alternativi sono inclusi, così come le regole che possono essere accesi e spenti singolarmente. 6. Design moderno - Deduzioni fornisce un'interfaccia moderna. Come una nuova voce in un campo che non ha visto molti aggiornamenti in questi ultimi anni (molti programmi di logica sono scritti per DOS, Windows 9x, o sono applet Java rudimentali), detrazioni sfrutta le tecnologie di Mac OS X per fornire un'interfaccia utente pulita, drag-and-drop, e di un sistema di aiuto completo. . 7. più efficiente di Paper - Deduzioni prende cura dei dettagli modifica regolando automaticamente prove quando si aggiungono linee, rimosso o spostato

Cosa c'è di nuovo in questa versione:

• ha aggiunto il supporto per il sistema regola logica Prenota PD +
  
• ha aggiunto il supporto per il sistema accessibile regola + Introduzione ND
  
• Aggiunta la possibilità di esportare una deduzione in un file di testo
  
• Aggiunta la possibilità di esportare una deduzione di un frammento LaTeX

Limitazioni :

Solo la seguenti regole di deduzione sono disponibili nella versione di prova: Locali, Assunzione, Reiterazione, Congiunzione Introduzione, Congiunzione Eliminazione, condizionale Introduzione, condizionale eliminazione, Tilde Introduzione, Tilde Eliminazione