Deductions

srážky je vzdělávací software navržen tak, aby se studenti učí důkazy formální logiky. Je určena pro použití instruktory a studenty vysoké školy úrovni logických kurzy filozofie, matematiky a informatiky. To dává okamžitou zpětnou vazbu v každé fázi důkazu, poskytuje rady o tom, jak dokončit důkazy, a je dodáván se sadou video tutoriály, které vysvětlují a přezkoumávají několik náročných konceptů v logice. Srážka si klade za cíl vyřešit tři problémy, které tvoří důkazy nejtěžší složka formální logiky kurzů: Není známo, zda jsou pravidla správně použita, jak se někde uprostřed dokladu, a nejistota ohledně pravidel a strategií. Srážky řeší tyto problémy nahlášení chyb, včetně nápovědy motor, aby návrhy, jak dokončit důkaz, a mají multimediální výukové programy pomoci studentům prostřednictvím složitými pravidly. Vlastnosti Highlights: 1. Učebnice: Srážka je navržen tak, aby bez problémů pracovat s těmito učebnicemi: (i) Logic Book (podle Bergmann, Moor, a Nelson), (ii) moderní formální logiky Primer (Paul Teller), (iii ) Vážná Úvod do matematické logiky (Tony Roy). 2. Nahlášení chyby - Srážky vlajky chyby v důkazech, jakmile k nim dojde. To je důležité, protože když jsou studenti nejprve učí důkazy, srážky brání studenti z učení špatné pravidel. 3. Tip Engine - Srážky poskytuje rady o tom, jak dokončit důkazy. Když si studenti uvízl uprostřed dokladu, Odpočet navrhuje, jak dosáhnout pokroku. 4. Multimediální konzultace - Srážky dodáván se sadou multimediálních výukových programů, rozdělený do dvou skupin: Jak používat Srážky učit logiku, a jak používat logické pravidel. 5. Flexibilita - Srážka je navržen pro práci s mnoha různými logickými systémy a učebnic. Standardní i alternativní symboly jsou zahrnuty, stejně jako pravidla, která lze zapnout a vypnout individuálně. 6. Moderní design - Srážky poskytuje moderní rozhraní. Jako nový vstup do oblasti, která není vidět mnoho aktualizací v posledních letech (mnoho logické programy jsou psány pro DOS, Windows 9x, nebo jsou primitivní Java applety), odpočty využívá technologie z Mac OS X, aby čisté uživatelské rozhraní, drag-and-drop podpora, a komplexní systém nápovědy. . 7. účinnější než papír - Srážky se postará o detaily úprav automatickým nastavením důkazy, když se řádky přidány, odstraněny nebo přesunuty

Co je nového v této verzi:

• přidána podpora právního systému Logic Book PD +
  
• přidána podpora pro nabídkou Úvod ND + pravidla systému
  
• přidána možnost exportovat odpočet do textového souboru
  
• přidána možnost exportovat odečíst LaTeX úryvek

Omezení :

Pouze tato odpočet pravidla jsou k dispozici ve zkušební verzi: Předpoklad, Nanebevzetí Panny Marie, Zopakování, Konjunkce úvod, Konjunkce eliminace, Podmíněné úvod, Podmíněný eliminace, Tilda úvod, Tilda Eliminace