Home |

Úvod do MathXpert

MathXpert umožňuje jeho užívateľovi riešiť matematické problémy, a aby grafov. Pri riešení problému, umožňuje užívateľovi vytvoriť krok-za-krokom riešenia, skôr než len produkovať jeden riadok odpoveď. Každý krok sa vykonáva za použitia niektoré matematické operácie na predchádzajúcom riadku, a je uvedený s jeho zdôvodnenie. Užívateľ vytvára nový riadok pomocou myši vyberte časť aktuálneho riadku zmeniť. Potom ponuka operácií sa objaví, a užívateľ vyberie operáciu použiť. Počítač vykoná drinu skutočne používaných operáciu. Preto nemôžete vytvoriť "sklz" ako pád znamienko mínus. Tie sú tiež chránené od logických chýb, ako delenie nulou, a od koncepčných chýb, ako je napríklad použitie nesprávnej zákon ako ln ( a + b ) = ln + ln b . Takýto nesprávny zákon nemožno nájsť v ponuke, takže nemôžete použiť. Po dokončení práce váš problém, môžete si ju vytlačiť a otočte ju do pre váš domácu úlohu. MathXpert má nielen schopnosť vykonávať jednotlivé kroky na povel, ale obsahuje aj prepracovanú sadu pravidiel, ktorá je vyriešiť takmer akýkoľvek učebnice problém v uvedených predmetoch. To používa túto schopnosť poskytovať pomoc študenta, ktorý nevie, čo má robiť. To môže, ak je to potrebné, vytvárať kompletný krok za krokom riešenie pre študenta skúmať. Ponúka niekoľko menej extrémne možností: je Tip tlačidlo, a tam je AutoStep tlačidlo, ktoré bude trvať jeden krok pre vás, tam je tiež ShowStep tlačidlo, ktoré navrhne výber, ktorý výraz zmeniť. MathXpert líši od softvéru, ako je Maple a Mathematica v týchto hlavných bodoch:

Vyrába krok-za-krokom riešenia pomocou operácií študenti sú vyučované
Nebude vám dovoľujú logickú chybu
To je úplne pod kontrolou pomocou myši, ponuky a tlačidlá. Čas potrebný začať používať efektívne, je asi päť minút.

MathXpert môže robiť veľa rôznych druhov grafov. Existuje niekoľko prvkov, ktoré odlišujú MathXpert Grapher z iných graphers:

Čerpá grafy správne, aj keď funkcia má singularity. Ďalšie graphers vložiť nesprávne zvislé čiary, alebo graf asymptotickej porcie nesprávne.
To vám umožní rýchlo nakresliť sériu grafov zmenou hodnoty parametra vo vzorci, bez nutnosti upravte vzorec.
To môže graf žiadnu funkciu. Napríklad, môžete graf podsúčty radu Fourierovej s počtom podmienok ako parameter.

V tomto príklade môžete vidieť, ako zle slávny matematik Leonhard Euler bol v roku 1753, keď popieral Bernoulli tvrdenie, že nejaká funkcia by mohla byť písaný ako súčet a trigonometrické radu. Euler si, že od goniometrické funkcie sú spojité, musí súčet radu z nich je kontinuálna príliš. Ak by mal MathXpert, on by urobil tú chybu - môžete jasne vidieť diskontinuitu sa na výstavbe ako počet termínov zvyšuje, a môžete jasne vidieť, čo fyzici nazývajú "Gibbs fenomén" kmitanie v blízkosti nekoherentnosť . Ako to bolo, Eulerova vplyv nastavenie späť rozvoj Fourierových rokov série päťdesiat. Fourier mal dostať sám zvolený do Francúzskej akadémie skôr, ako on mohol publikovať svoje vplyvné dielo v roku 1807. Ale to som odbočil ... MathXpert sa predáva Pomoc s matematikou . Na tejto webovej stránke nájdete viac informácií o MathXpert , vrátane popisu, ako ju používať, dokončiť s ukážkovými obrazoviek. Ak si chcete prečítať moje papiere o MathXpert, odporúčam [37] ako miesto pre štart. Jedným z princípov, na ktorých MathXpert vychádza, je správnosť princíp. To znamená, že počítač nikdy generovať matematicky nesprávny výsledok. To nie je pravda, z iných symbolických výpočtových programov v bežnom používaní. Tieto iné programy, napríklad, môže byť podávaný rovnice a = 0 a povedal deliť stranách . Výsledkom bude 1 = 0, pretože obsahujú pravidlo A / A = 1 a tiež pravidlo 0 / z = 0. V záujme dosiahnutia cieľa matematickej správnosti, bolo nutné vybudovať docela dômyselnou teorém-Provera into MathXpert. je teda priama súvislosť medzi Jednalo sa softvérového projektu a môj výskum v automatizovanej odpočet, ktorý sa sústredí na vzťahy medzi logika a výpočty. Tento aspekt projektu je zameranie [30] a [34] . Vzhľadom k tomu, preverte je viac či menej "neviditeľný" v MathXpert , môže použiť niektoré ezoterické techniky, ak sú užitočné, a som objavil zaujímavú aplikáciu non-standard analýzy problému uistite sa, že zrážky sú správne v súvislosti s medznými problémy . Problém a jeho riešenie pomocou neštandardnej analýzy sú uvedené v [36] . Niekoľko ďalších konštrukčné princípy, na ktorých MathXpert je založená, sú vysvetlené v [31] a [37] . Preložené z http://www.cs.sjsu.edu/~beeson/Papers/mpdescr.html Homepage

...