Deductions

Fradrag er undervisningssoftware designet til at hjælpe eleverne med at lære beviser i den formelle logik. Det er beregnet til at blive brugt af undervisere og studerende på college-niveau logik kurser i filosofi, matematik og datalogi. Det giver øjeblikkelig feedback på hvert trin i en bevis, giver tip om, hvordan man udfylder beviser, og kommer med en række video tutorials, der forklarer og gennemgå adskillige udfordrende begreber i logik. Fradrag til formål at løse de tre problemer, der gør beviser den vanskeligste komponent af formelle logik kurser: ikke at vide, om regler anvendes korrekt, at sidde fast i midten af ​​en bevis, og usikkerhed om de regler og strategier. Fradrag behandler disse spørgsmål ved at markere fejl, herunder en antydning motor til at komme med forslag til, hvordan man udfylder en bevis, og som har multimedie tutorials til at hjælpe eleverne gennem komplekse regler. Funktioner Højdepunkter: 1. Lærebøger: Fradrag er designet til at fungere problemfrit med følgende lærebøger: (i) The Logic Bog (ved Bergmann, Moor, og Nelson), (ii) En moderne formelle logik Primer (af Paul Teller), (iii ) En alvorlig Introduktion til matematisk logik (af Tony Roy). 2. Markering af fejl - Fradrag flags fejl i beviser, så snart de opstår. Dette er vigtigt, for når eleverne først lære beviser, Fradrag forhindrer studerende i at lære de forkerte regler. 3. Tip Engine - Fradrag giver hints om, hvordan man udfylder beviser. Når eleverne går i stå midt i et bevis, Fradrag forslag til, hvordan at gøre fremskridt. 4. Multimedia Tutorials - FRADRAG leveres med et sæt af MMS tutorials, opdelt i to grupper: Sådan bruges Fradrag for at lære logik, og hvordan du bruger de logiske regler. 5. Fleksibilitet - Fradrag er designet til at arbejde med mange forskellige logiske systemer og lærebøger. Både standard og alternative symboler er inkluderet, samt regler, der kan tændes og slukkes individuelt. 6. Moderne design - Fradrag giver en moderne brugerflade. Som en ny indrejse i et felt, der ikke har set mange opdateringer i de seneste år (mange logiske programmer er skrevet til DOS, Windows 9x, eller er rudimentære Java-applets), fradrag udnytter teknologierne i Mac OS X til at give en ren brugerflade, træk-og-slip support og et omfattende hjælpesystem. . 7. mere effektive end Papir - Fradrag tager sig af redigering detaljer ved automatisk at justere beviser, når linjer tilføjes, fjernes eller flyttes

Hvad er nyt i denne udgivelse:

• tilføjet støtte til The Logic Book PD + regel-system
  
• tilføjet støtte til Accessible Introduktion ND + regel-system
  
• tilføjet mulighed for at eksportere et fradrag til en tekstfil
  
• tilføjet mulighed for at eksportere et fradrag til en LaTeX kodestykke

Begrænsninger :

Kun Følgende fradragsregler er tilgængelige i prøveversionen: forudsætning, Assumption, Gentagelse, Konjunktion Indledning, Konjunktion Elimination, Betinget Indledning, Betinget Elimination, Tilde Indledning, Tilde Elimination