MathXpert ga kirish

Source: http://www.cs.sjsu.edu/faculty/beeson/Papers/mpdescr.html

MathXpert foydalanuvchilarga matematik muammolarni hal qilish va grafikalar yaratish imkonini beradi. Muammoni hal qilishda foydalanuvchi faqatgina bir qator javob berishdan ko’ra, bosqichma-bosqich echimlarni ishlab chiqishga imkon beradi. Har bir qadam avvalgi qatorga matematik operatsiyalarni qo’llash orqali amalga oshiriladi va uning asoslanishi bilan beriladi. Foydalanuvchi o’zgartirish uchun joriy satrning bir qismini tanlash uchun sichqonchani ishlatib yangi qatorni ishlab chiqaradi. Keyin operatsiyalar menyusi paydo bo’ladi va foydalanuvchi amaliyotni tanlaydi. Kompyuter operatsiyani aslida qo’llash bilan shug’ullanadi. Shunday qilib, siz kam belgini qoldirib, “slip” qila olmaysiz. Siz, shuningdek, mantiqiy xatolar, masalan, nolga bo’lingan kabi, va kontseptual xatolar, masalan, noto’g’ri qonunni qo’llash kabi himoyalangan ln(a+b) = ln a + ln b. Bunday noto’g’ri qonunni menyuda topib bo’lmaydi, shuning uchun uni qo’llash mumkin emas. Muammoni hal qilishni tugatganingizdan so’ng, uni chop etishingiz va uy vazifangizga kiritishingiz mumkin.

MathXpert  amri bo’yicha yakka tartibdagi qadamlar amalga oshirish qobiliyatiga ega emas, balki faqat, lekin u ham zikr fanlardan deyarli har qanday darslik muammoni hal qilish, uni imkon qoidalar murakkab majmuini o’z ichiga oladi. Bu nima bilmaydi talabaga yordam berish uchun, bu qobiliyatini foydalanadi. Bu, agar kerak bo’lsa, talaba o’rganib uchun to’liq bosqichma-bosqich hal mumkin. Bu bir necha kamroq ekstremal variantlarini taklif etadi: a bor Hint tugmasini bosing, va bir bor AutoStep siz uchun bir qadam o’tadi tugmasi; Agar u erda ham ShowStep o’zgartirish qaysi ibora bir tanlash taklif etiladi tugmasini bosing.

MathXpert  kabi dasturiy farq Maple va Mathematica bu asosiy jihatdan:

  • Bu operatsiyalar talabalarga yordamida echimlar o’qitiladigan bosqichma-bosqich ishlab chiqaradi
  • Bu mantiqiy xato qilish sizga yo’l qo’ymaydi
  • Bu butunlay sichqoncha, menyular va tugmalar tomonidan nazorat qilinadi. samarali foydalanishni boshlash uchun zarur bo’lgan vaqt, taxminan besh daqiqa.

MathXpert  grafikalar ko’plab turli qilish mumkin. Farqlash bir necha xususiyatlari mavjud MathXpert  boshqa graphers dan grapher:

  • Bu vazifani tekillikler bo’lsa ham, to’g’ri grafikalar tortadi. Boshqa graphers noto’g’ri vertikal chiziqlar joylashtiring, yoki noto’g’ri asimptotik qismlarini graph.
  • Bu siz tez formula o’zgartirish kerak bo’lmasdan, formula bir parametr qiymatini o’zgartirib, grafikalar bir qator chizish imkonini beradi.
  • Bu har qanday vazifani grafik mumkin. Misol uchun, siz bir parametr sifatida shartlariga soni bilan Fourier qator qisman so’mdan grafik mumkin.

Ushbu misolda, mashhur matematik Leonhard Eulerning 1753 yilda Bernoulli fikriga ko’ra, qandaydir vazifani trigonometrik ketma-ketlikning to’plami sifatida yozish mumkinligini inkor qilganida qanchalik noto’g’ri ekanligini ko’rishingiz mumkin. Euler trigonometrik funktsiyalar uzluksiz bo’lgani uchun, ularning bir qator summasi ham doimo bo’lishi kerak, deb o’yladi. Agar u MathXpert ega bo’lsa, unda u xato qilmagan bo’lar edi – atamalar soni oshib borishi sababli uzilishni aniq ko’rsata olasiz va siz fiziklarning “Gibbs fenomeni” deb ataladigan uzilishlar. Eulerning ta’siri Fourier seriyasining ellik yillik rivojlanishini to’xtatdi. Fourier 1807 yilda o’z ilmiy ishini nashr etishdan oldin Frantsuz Akademiyasiga saylanishiga to’g’ri keldi.

MathXpert  tomonidan pazarlanan yordamida matematika. Bu veb-sayt sizga haqida ko’proq ma’lumot topishingiz mumkin MathXpert namuna ekranlar to’liq foydalanish uchun qanday bir tavsifi, shu jumladan.

Agar haqida mening qog’ozlarni o’qib bo’lsangiz MathXpert, men tavsiya [37] boshlash uchun joy sifatida.

Qaysi tamoyillari biri MathXpert  asoslangan bo’lib to’g’ri qoida. Bu kompyuter bir matematik noto’g’ri natijani ishlab hech qachon, degan ma’noni anglatadi. Bu umumiy foydalanishda boshqa ramziy hisoblash dasturlari haqiqiy emas. Bu boshqa dasturlar, masalan, tenglama berilishi mumkin  a = 0  va tomonlarni ajratish uchun aytgan bir. Ular qoida o’z ichiga olgan natija, 1 = 0 bo’ladi, a/a 1 va shuningdek, qoida 0/a = 0.

Matematik to’g’ri maqsadga erishish uchun, u bir juda murakkab teorema-prover qurish uchun zarur bo’lgan MathXpert. Keyin, bu o’rtasida to’g’ridan-to’g’ri bog’liqlik dasturi loyihasini va mantiq va hisoblash o’rtasidagi munosabatlarning markazlari avtomatlashtirilgan chegirib mening tadqiqot, amaliy, yo’q. Loyihaning bu jihati diqqat markazida bo’ladi [30] va [34]. Prover ko’proq yoki kamroq «ko’rinmas» bo’lgani MathXpert, ular foydali bo’lgan bo’lsa, ba’zi yashirin usullardan foydalanish mumkin, va men ajratmalar chegarasi muammolari munosabati bilan to’g’ri ekanligiga ishonch hosil qilish muammosiga nostandart tahlil qiziqarli ariza kashf. Nostandart tahlil yordamida muammo va uning hal berilgan [36].

Qaysi bir necha boshqa dizayn asoslari MathXpert asoslangan bayon qilingan [31] va [37].