Deductions

Deduceri este un software educațional conceput pentru a ajuta elevii să învețe dovezi în logica formală. Acesta este destinat a fi utilizat de către instructori și studenți de cursuri logice la nivel de colegiu în filosofie, matematică și informatică. Acesta oferă feedback imediat la fiecare etapă a unei dovezi, prevede sugestii despre cum să completeze dovezi, și vine cu un set de tutoriale video care explică și revizuiască câteva concepte dificile în logică. Deduceri își propune să rezolve trei probleme care fac probe componenta cea mai dificil de cursuri logice formale: nu știu dacă regulile sunt aplicate corect, obtinerea blocat în mijlocul unei dovezi, iar incertitudinea cu privire la regulile și strategiile. Deducerile abordează aceste probleme de diminuarea erori, inclusiv un motor indiciu pentru a face sugestii despre cum să completeze o dovadă, și având tutoriale multimedia pentru ai ajuta pe elevi prin norme complexe. Caracteristici principale: 1. Manuale: Deduceri este proiectat să funcționeze perfect cu următoarele manuale: (i) Logic Cartea (de Bergmann, Moor, și Nelson), (ii) A Modern formală Logic Primer (de Paul Teller), (iii ) O gravă Introducere în logica matematica (de Tony Roy). 2. Erori Marcarea - erori Deduceri steaguri din dovezile de îndată ce acestea apar. Acest lucru este important, pentru că atunci când elevii sunt în primul rând dovezi de învățare, Deduceri împiedică elevii din învățarea regulilor greșite. 3. Sugestie Motor - Deduceri oferă indicii despre cum pentru a finaliza dovezi. Când elevii mă blochez în mijlocul unei dovezi, Deduceri sugerează modul de a face progrese. 4. Tutoriale Multimedia - Deduceri vine cu un set de tutoriale multimedia, împărțite în două grupe: Cum se utilizează Deduceri pentru a afla logică, și modul de utilizare regulile logice. 5. Flexibilitate - Deduceri este proiectat să funcționeze cu multe sisteme logice și manuale diferite. Atât simboluri standard și alternative sunt incluse, precum și normele care pot fi pornite și în afara individual. 6. moderne de design - Deduceri oferă o interfață modernă. Ca un nou intrare într-un domeniu care nu a văzut multe actualizări în ultimii ani (de multe programe logice sunt scrise pentru DOS, Windows 9x, sau sunt applet-uri Java rudimentare), Deduceri foloseste tehnologiile de Mac OS X pentru a oferi o interfață de utilizator curat, suport drag-and-drop, și un sistem cuprinzător de ajutor. . 7. mai eficientă decât Hartie - Deduceri are grijă de detalii de editare prin ajustarea automată dovezi atunci când sunt linii, eliminate sau mutate

Ce este nou în această versiune:

• adăugat suport pentru Sistemul de regulă Logic, rezervari PD +
  
• adăugat suport pentru Accesibil sistem + regula Introducere ND
  
• adăugat capacitatea de a exporta o deducere într-un fișier text
  
• adăugat capacitatea de a exporta o deducere pentru un fragment LaTeX

Limitări :

Numai Următoarele norme de deducere sunt disponibile în versiunea trial: Premise, Adormirea Maicii Domnului, Reiterarea, Coroborat Introducere, Coroborat Eliminare, condiționată Introducere, condiționată Eliminare, Tilda Introducere, Tilda Eliminare