Deductions

Atskaitymai yra švietimo programa, skirta padėti studentams išmokti prekių kilmę įrodančius dokumentus formalios logikos. Jis yra skirtas būti naudojamas instruktorių ir mokinių kolegijos lygio logika kursų filosofijos, matematikos ir kompiuterių mokslo. Ji suteikia tiesioginį grįžtamąjį ryšį kiekviename iš įrodymą etape suteikia užuominų apie tai, kaip užpildyti įrodančius dokumentus, ir ateina su vaizdo samouczków, kad paaiškinti ir apžvelgia keletą sudėtingas sąvokas logikos rinkinys. Atskaitymai siekiama spręsti tris problemas, kurios daro įrodymų sunkiausia komponentas formalios logikos kursus: nežinodami, ar taisyklės būtų taikomos teisingai, strigti į įrodymą viduryje, ir netikrumas dėl taisyklių ir strategijų. Atskaitymai nagrinėja šias problemas pažymėdami klaidų, įskaitant užuominą variklio pateikti pasiūlymus apie tai, kaip užbaigti įrodymą, ir turintys daugialypės terpės samouczków padėti studentams per sudėtingas taisykles. Savybės renginiai: 1. Vadovėliai: Atskaitymai skirta sklandžiai dirbti su šiais vadovėliais: (i) Loginiai knyga (iki Bergmann, Moor ir Nelson), (ii) Modernus Formalioji logika Gruntas (Paul Teller), (iii ) Rimti Įvadas į matematinės logikos (Tony Roy). 2. pažymite Klaidos - Atskaitymai vėliavos klaidų įrodymų, kai tik jie įvyksta. Tai svarbu, nes, kai studentai yra pirmoji mokymosi įrodymų, Atskaitymai neleidžia studentams mokytis neteisingus taisykles. 3. Patarimas Variklis - Atskaitymai suteikia užuominų apie tai, kaip užpildyti įrodančius dokumentus. Kai mokiniai įstrigti vidury įrodymas, Atskaitymai rodo, kaip padaryti pažangą. 4. Multimedijos Pamokos - Atskaitymai ateina su multimedijos samouczków rinkinys, padalintas į dvi grupes: Kaip naudotis Atskaitymai mokytis logikos, ir kaip naudoti loginius taisykles. 5. Lankstumo - Atskaitymai yra skirta dirbti su daug įvairių loginių sistemų ir vadovėlių. Abi standartiniai ir alternatyvūs simboliai yra įtraukti, taip pat taisykles, kurie gali būti įjungti ir išjungti atskirai. 6. Modernus dizainas - Atskaitymai suteikia modernią sąsaja. Kaip naujas įsigaliojimo srityje, kuri nematė daug atnaujinimus pastaraisiais metais (daug logika programos yra parašyta DOS, Windows 9x arba yra primityvus Java programėles), Atskaitymai naudoja su "Mac OS X technologijas teikti švarų vartotojo sąsają, "drag-and-drop" parama ir visapusiškas pagalbos sistema. . 7. efektyviau nei knygos - Atskaitymai rūpinasi redagavimo informaciją automatiškai reguliuojant įrodymų, kai linijos yra pridėta, pašalinti arba perkelti

Kas naujo , šioje laidoje:

• papildoma parama logika Užsakyti + PD taisyklių sistemos
  
• papildoma parama neįgaliesiems Įvadas ND + taisyklė sistemos
  
• pridėjo galimybę eksportuoti atskaitymo į tekstinį failą
  
• pridėjo galimybę eksportuoti atskaityti su LaTeX fragmentą

Apribojimai :

Tik Šie atskaitos taisyklės yra prieinami bandomąją versiją: Patalpos, dangų, Pakartojimas, Jungtukas Įvadas Jungtukas pašalinimas, Sąlyginis Įvadas Sąlyginis pašalinimas, "Tilde Įvadas" Tilde Eliminacija