Deductions

pagbabawas ay pang-edukasyon na software na idinisenyo upang matulungan ang mga mag-aaral matuto nang proofs sa pormal na lohika. Ito ay inilaan upang gamitin sa pamamagitan ng instructor at mag-aaral ng kolehiyo sa antas ng logic kurso sa pilosopiya, matematika at computer science. Nagbibigay ito ng agarang feedback sa bawat antas ng isang patunay, nagbibigay ng mga pahiwatig tungkol sa kung paano kumpletuhin ang proofs, at may kasamang isang hanay ng mga tutorial na video na nagpapaliwanag at suriin ang ilang mga mapanghamong konsepto sa logic. Nilalayon ng pagbabawas upang malutas ang tatlong problema na gumawa ng proofs ang pinaka-mahirap bahagi ng pormal na lohika kurso: Hindi alam kung panuntunan ay inilapat tama, nagsisimula pa natigil sa gitna ng isang patunay, at kawalan ng katiyakan tungkol sa mga patakaran at mga diskarte. Pagbabawas address ng mga isyung ito sa pamamagitan ng pag-flag ng mga error, kabilang ang isang pahiwatig engine upang gumawa ng mga mungkahi tungkol sa kung paano kumpletuhin ang isang patunay, at pagkakaroon ng tutorial multimedia upang matulungan ang mga mag-aaral sa pamamagitan ng kumplikadong mga panuntunan. Mga Tampok Highlight: 1. Textbook: pagbabawas ay dinisenyo upang gumana ng walang putol na may sumusunod na mga aklat-aralin: (i) Ang Logic Book (sa pamamagitan ng Bergmann, magpugal, at Nelson), (ii) Isang modernong pormal na Logic panimulang aklat sa pagbasa (sa pamamagitan ng Paul teller), (iii ) Isang Malubhang Panimula sa Mathematical Logic (sa pamamagitan ng Tony Roy). 2. Pag-flag Error - pagbabawas ng mga flag error sa proofs sa lalong madaling naganap ang mga ito. Ito ay mahalaga, dahil kapag mag-aaral ay unang pag-aaral ng proofs, pinipigilan ang pagbabawas mga mag-aaral mula sa pag-aaral ang maling mga patakaran. 3. Pahiwatig Engine - pagbabawas nagbibigay ng mga pahiwatig tungkol sa kung paano kumpletuhin ang proofs. Kapag mag-aaral makakuha ng natigil sa gitna ng isang patunay, nagmumungkahi pagbabawas kung paano gumawa ng progreso. 4. Multimedia Mga Tutorial - pagbabawas ay may isang hanay ng mga pagtuturo multimedia, nahahati sa dalawang grupo: kung paano gamitin ang pagbabawas upang matuto nang logic, at kung paano gamitin ang mga panuntunan ng logic. 5. Kakayahang umangkop - pagbabawas ay dinisenyo upang gumana sa maraming iba't ibang mga sistema ng logic at mga aklat-aralin. Ang parehong standard at alternatibong mga simbolo ay kasama, pati na rin ang mga patakaran na maaaring naka-on at off nang isa-isa. 6. Modernong Disenyo - pagbabawas ay nagbibigay ng isang modernong interface. Bilang isang bagong entry sa isang patlang na ay hindi nakita maraming mga update sa mga nakaraang taon (many logic programa ay isinulat para sa DOS, Windows 9x, o nagsisimula pa lamang applets Java), pagbabawas Pinakikinabangan ng mga teknolohiya ng Mac OS X upang magbigay ng malinis na user interface, suporta at-drag-drop, at isang komprehensibong tulong system. . 7. Higit pang Mahusay kaysa Papel - pagbabawas tumatagal ng pag-aalaga ng mga detalye ng pag-edit sa pamamagitan ng awtomatikong pag-aayos ng proofs kapag linya ay idinagdag, tinanggal o inilipat

Ano ang bagong sa paglabas:

• Idinagdag ang suporta para sa Ang Logic Book PD + sistema panuntunan
  
• Idinagdag ang suporta para sa Ma-access Panimula nd sistema + panuntunan
  
• Idinagdag kakayahan upang i-export ang isang kabawasan sa isang Text file
  
• Idinagdag kakayahan upang i-export ang isang kabawasan sa isang LaTeX snippet

Mga Limitasyon :

Tanging ang sumusunod na panuntunan sa pag-aawas ay available sa mga pagsubok na bersyon: Premise, Assumption, pag-uulit, Panimula kasabay, kasabay alis, may-kondisyong Panimula,-kondisyong alis, tilda Panimula, tilda alis