Deductions

levonások oktatási program célja, hogy segítse a hallgatók megtanulják igazolásokat a formális logika. Célja, hogy kell használni az oktatók és a hallgatók főiskolai szintű logika tanfolyamok filozófiát, matematikát. Ez ad azonnali visszajelzést minden egyes szakaszában a bizonyítás, célzásokat arról, hogyan kell végrehajtani bizonyítékokat, és jön egy sor video oktatóanyagokat, hogy ismertesse és vizsgálja felül számos kihívást jelentő fogalmak logikája. Levonások célja, hogy megoldja a három problémás, hogy bizonyítékokat a legnehezebb eleme a formális logika tanfolyamok: nem tudva, hogy a szabályokat megfelelően alkalmazzák, elakadás a közepén egy igazolást, és a bizonytalanság a szabályokat és stratégiákat. Levonások foglalkozik ezekkel a kérdésekkel a lanyhuló hibákat, beleértve a célzást motort, hogy javaslatokat arról, hogyan kell végrehajtani a bizonyítéka, és miután multimédiás oktatóprogramok, hogy a tanulók a bonyolult szabályok. Jellemzők Főbb jellemzők: 1. Tankönyv levonás: úgy tervezték, hogy tökéletesen együttműködjön a következő tankönyvek: (i) A Logic Book (Bergmann, Moor, és Nelson), (ii) A Modern formális logika Primer (Paul Teller), (iii ) A Serious Bevezetés a matematikai logika (Tony Roy). 2. A jelzési hibák - Levonások zászlók hibák bizonyítékokat, amint azok előfordulnak. Ez azért fontos, mert ha a diákok először tanulás bizonyítéka, levonások megakadályozza a diákok tanulási rossz szabályok. 3. Tipp Engine - Levonások ad tippeket, hogyan kell végrehajtani bizonyítékokat. Amikor a diákok elakad a közepén egy bizonyíték, levonások sugallja, hogyan fejlődjön. 4. Multimédia oktatóanyagok - Levonások jön egy sor multimédiás oktató, két csoportra oszthatók: hogyan kell használni levonások tanulni logikát, és hogyan kell használni a logika szabályai. 5. Rugalmasság - Levonások úgy tervezték, hogy számos különböző logikai rendszerek és tankönyvek. A standard és a további szimbólumok szerepelnek, valamint azokat a szabályokat, amelyek ki- és bekapcsolását külön-külön. 6. Modern Design - A levonások egy modern interfész. Egy új bejegyzés egy területen, amely nem látott sok frissítések az elmúlt években (sok logika írt programok DOS, Windows 9x, vagy kezdetleges Java alkalmazásokat), levonások kihasználja a technológia a Mac OS X, hogy egy tiszta felhasználói felület, drag-and-drop támogatás, valamint egy átfogó rendszer segítségével. 7. Hatékonyabb, mint papír - Levonások gondoskodik a szerkesztési adatai automatikusan beállítja bizonyítékokat, amikor sorokkal egészül ki, eltávolíthatja vagy.

Mi az új ebben a kiadásban:

• hozzátette, támogatja a logikai Book PD + szabályrendszer
  
• hozzáadott támogatása Akadálymentesített Bevezetés ND + szabályrendszer
  
• hozzáadott képes exportálni levonás egy szöveges fájlt
  
• hozzáadott képes exportálni a levonás a LaTeX részlet

korlátai :

Csak a következő levonási szabályok állnak a próbaverzió: Premise, Nagyboldogasszony, megismétlése, Conjunction Bevezetés, Conjunction felszámolásáról, Feltételes Bevezetés, Feltételes felszámolásáról, Tilde Bevezetés, Tilde felszámolásáról