Deductions

Skjermbilde programvare:
Deductions
Prog.varedetaljer:
Versjon: 1.3
Last opp dato: 2 Jan 15
Utvikler: Wandering Mango
Lisens: Shareware
Pris: 24.99 $
Popularitet: 36
Størrelse: 6098 Kb

Rating: 2.8/5 (Total Votes: 4)

Fradrag er pedagogisk programvare utviklet for å hjelpe elevene lære bevis på formell logikk. Det er ment å bli brukt av instruktører og studenter av college-nivå logikk kurs i filosofi, matematikk og informatikk. Det gir umiddelbar tilbakemelding på hvert trinn i et bevis, gir tips om hvordan å fullføre prøvetrykk, og kommer med et sett av video tutorials som forklarer og gjennomgå flere utfordrende konsepter i logikk. Fradrag som mål å løse de tre problemer som gjør bevis den vanskeligste komponenten av formelle logiske emner: ikke vite om reglene blir brukt riktig, bli sittende fast i midten av et bevis, og usikkerhet om regler og strategier. Fradrag løser disse problemene ved å flagge feil, blant annet et hint motoren for å komme med forslag om hvordan å fullføre et bevis, og har multimedia opplæringsprogrammer for å hjelpe elevene gjennom kompliserte regler. Funksjoner Høydepunkter: 1. Lærebøker: Fradrag er laget for å fungere sømløst med følgende lærebøker: (i) The Logic Book (ved Bergmann, Moor, og Nelson), (ii) A Modern Formal Logic Primer (av Paul Teller), (iii ) A Serious Introduksjon til Mathematical Logic (etter Tony Roy). 2. Flagg feil - Fradrag flagg feil i bevis så snart de oppstår. Dette er viktig, fordi når elevene først lære bevis, Fradrag hindrer studentene fra å lære feil regler. 3. Hint motor - Fradrag gir tips om hvordan å fullføre bevis. Når elevene blir sittende fast i midten av et bevis, Fradrag foreslår hvordan å gjøre fremskritt. 4. Multimedia Tutorials - Fradrag kommer med et sett av multimedia tutorials, delt inn i to grupper: hvordan å bruke Fradrag for å lære logikk, og hvordan du bruker de logiske regler. 5. Fleksibilitet - fratrekk er utviklet for å jobbe med mange forskjellige logiske systemer og lærebøker. Både standard og alternative symboler er inkludert, samt regler som kan slås av og på individuelt. 6. Moderne Design - fratrekk gir et moderne grensesnitt. Som en ny oppføring i et felt som ikke har sett mange oppdateringer de siste årene (mange logiske programmer er skrevet for DOS, Windows 9x, eller er rudimentære Java-applets), Fradrag utnytter teknologiene i Mac OS X for å gi et rent brukergrensesnitt, dra-og-slipp-støtte, og et omfattende hjelpesystem. . 7. Mer effektiv enn papir - Fradrag tar seg av redigerings detaljer ved automatisk justering bevis når linjene er lagt til, fjernes eller flyttes

Hva er nytt i denne utgaven:

  • lagt til støtte for The Logic Book PD + regel system
  • lagt til støtte for rullestol Introduksjon ND + regel system
  • ekstra muligheten til å eksportere et fradrag til en tekstfil
  • ekstra muligheten til å eksportere et fradrag til en LaTeX biten

Begrensninger :

Bare følgende slutninger regler finnes i prøveversjon: Lokal, Assumption, gjentakelse, Conjunction Introduksjon, Conjunction Elimination, Betinget Introduksjon, Betinget Elimination, Tilde Introduksjon, Tilde Elimination

Lignende programvare

Transportation2
Transportation2

13 Dec 14

ChordLab
ChordLab

10 Apr 15

Schoolhouse
Schoolhouse

11 Dec 14

Wokabulary
Wokabulary

10 Apr 15

Annen programvare fra utvikleren Wandering Mango

Intuition
Intuition

13 Dec 14

Kommentarer til Deductions

Kommentarer ikke funnet
Legg til kommentar
Slå på bilder!