Deductions

Aftrekkings is opvoedkundige sagteware ontwerp om studente te help leer bewyse in formele logika. Dit is bedoel om deur instrukteurs en studente van die kollege-vlak logika kursusse in filosofie, wiskunde en rekenaarwetenskap gebruik word. Dit gee onmiddellike terugvoer op elke stadium van 'n bewys, bied wenke oor hoe bewyse te voltooi, en kom met 'n stel van video tutoriale wat verduidelik en te hersien verskeie uitdagende konsepte in logika. Aftrekkings ten doel om die drie probleme wat bewyse die moeilikste deel van formele logika kursusse op te los nie geweet of reëls korrek toegepas word, om vas in die middel van 'n bewys, en onsekerheid oor die reëls en strategieë. Aftrekkings hierdie kwessies deur verligting foute, insluitend 'n wenk enjin voorstelle oor hoe om 'n bewys te voltooi, en met multimedia tutoriale studente te help deur middel van komplekse reëls te maak. Funksies Hoogtepunte: 1. Handboeke: Aftrekkings is ontwerp om moeiteloos werk met die volgende handboeke: (i) Die logika Book (deur Bergmann, Moor en Nelson), (ii) 'n Moderne formele logika Primer (deur Paul Teller), (iii ) 'n ernstige Inleiding tot Wiskundige Logika (deur Tony Roy). 2. Vlag tans Foute - Aftrekkings vlae foute in bewyse so gou as hulle voorkom. Dit is belangrik, want wanneer studente die eerste bewyse leer, Aftrekkings verhoed studente van die leer van die verkeerde reëls. 3. Wenk Engine - Aftrekkings bied wenke oor hoe bewyse te voltooi. Wanneer studente vasval in die middel van 'n bewys, Aftrekkings dui hoe vordering te maak. 4. Multimedia Tutoriale - Aftrekkings kom met 'n stel van multimedia tutoriale, in twee groepe verdeel: hoe om afleidings te gebruik logika om te leer, en hoe die logika reëls te gebruik. 5. Buigsaamheid - Aftrekkings is ontwerp om te werk met baie verskillende logika-stelsels en handboeke. Beide standaard en alternatiewe simbole ingesluit, sowel as die reëls wat opgedaag kan word op en af ​​individueel. 6. Moderne Design - Aftrekkings bied 'n moderne koppelvlak. As 'n nuwe inskrywing in 'n veld wat nie gesien het nie baie opgraderings in die afgelope jaar (baie logika programme is geskryf vir DOS, Windows 9x, of is rudimentêre Java applets), Aftrekkings maak gebruik van die tegnologie van Mac OS X 'n skoon gebruikerskoppelvlak te voorsien, sleep-en-drop ondersteuning, en 'n omvattende hulp stelsel. . 7. meer doeltreffend as Paper - Aftrekkings sorg vir die redigering besonderhede deur outomaties die aanpassing bewyse wanneer reëls bygevoeg, verwyder of verskuif

Wat is nuut in hierdie release:

• bygevoeg ondersteuning vir Die logika Book PD + reël stelsel
  
• bygevoeg ondersteuning vir toeganklike Inleiding ND + reël stelsel
  
• bygevoeg vermoë om 'n aftrekking te voer na 'n teks lêer
  
• bygevoeg vermoë om 'n aftrekking te voer na 'n LaTeX brokkie

Beperkings :

Slegs die volgende afleiding reëls is beskikbaar in die proef weergawe: Premise, Hemelvaart, herhaling, verbindingswoord Inleiding, verbindingswoord Uitwissing, Voorwaardelike Inleiding, Voorwaardelike Uitwissing, Tilde Inleiding, Tilde Uitskakeling