Deductions

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

Rating: 3.2/5 (Total Votes: 5)

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

Record Lectures
Record Lectures

15 Nov 14

Reference Tracker
Reference Tracker

26 Apr 17

Lezioni
Lezioni

2 Jan 15

Studyper
Studyper

12 Dec 14

Annen programvare fra utvikleren Wandering Mango

Intuition
Intuition

13 Dec 14

Kommentarer til Deductions

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