Unità 6 / 11

Viżwalizzazzjoni Matematika

Qligħ:

  • Kapaċità li tivviżwalizza funzjonijiet, intersezzjonijiet u data billi tipprintja kodiċi Matplotlib għal intelliġenza artifiċjali u tħaddem il-kodiċi, u tagħżel it-tip ta 'graff xieraq għall-iskop
  • Kapaċità li tiċċekkja jekk grafika tirriflettix il-matematika b'mod korrett billi titqabbel ma 'proprjetajiet magħrufa tal-funzjoni, firxa tal-assi, asintoti u mill-inqas kalkolu ta' punt wieħed.
  • Kapaċità li jillokalizza viżwalment l-għeruq u l-intersezzjonijiet billi tuża l-viżwalizzazzjoni bħala għodda ta’ verifika u tipprovdi punti ta’ tluq preċiżi għal metodi numeriċi

Grafika tgħid aktar minn elf ekwazzjoni. Li tara viżwalment kif funzjoni ġġib ruħha, fejn huma l-għeruq tagħha, fejn żewġ kurvi jaqsmu, jew kif id-data hija mqassma huwa wieħed mill-aktar modi b'saħħithom biex tifhem u tivverifika l-matematika. Il-viżwalizzazzjoni matematika hija r-rappreżentazzjoni viżwali ta 'oġġetti matematiċi (funzjonijiet, data, forom ġeometriċi) bi grafika. L-għodda standard għal dan f'Python hija l-librerija Matplotlib. F'din l-unità inti titgħallem kif tuża l-AI bħala assistent li jiġġenera kodiċi ta 'viżwalizzazzjoni u, aktar importanti, kif tivverifika li l-grafika tirrifletti l-matematika b'mod korrett.

Il-viżwalizzazzjoni hija wkoll għodda ta' verifika. Rajna fl-unità ta 'qabel: il-grafika tal-għerq ta' ekwazzjoni qabel ma ssibha numerikament turi bejn wieħed u ieħor fejn jinsab l-għerq u tagħti stima tal-bidu preċiża. Li tara l-graff tal-funzjoni qabel kalkolu integrali jippermettilek tifhem jekk is-sinjal tar-riżultat (żona pożittiva/negattiva) jagħmilx sens. Il-graff jistaqsi "dan ir-riżultat jagħmel sens?" Hija t-tweġiba viżwali għall-mistoqsija.

Użi ewlenin tal-viżwalizzazzjoni fil-matematika

  • Imġieba tal-funzjoni: Reġjuni li qed jiżdiedu/jonqsu, massimi/minimi, asintoti ta' f(x).
  • Sib l-għeruq u l-intersezzjonijiet: Il-postijiet fejn il-kurva taqsam l-assi x (għeruq), l-intersezzjoni ta 'żewġ kurvi.
  • Żona/intwizzjoni integrali: Rappreżentazzjoni viżwali taż-żona taħt il-kurva.
  • Distribuzzjoni tad-dejta: Istogramma, scatter plot, box plot.
  • Ġeometrija: Trijangoli, ċrieki, trasformazzjonijiet.
  • Materjal tal-kors: Tispjega kunċett viżwalment lill-istudenti.

Pass pass: Tipproduċi grafika preċiża bl-AI

1. Kun ċar dwar dak li trid turi. "Iġbed sin(x)" mhix biżżejjed; "Plot sin(x) fil-medda [−2π, 2π], b'assi ttikkettjati u grilja" hija aħjar.

2. Ikteb il-kodiċi Matplotlib lill-AI. Staqsi għall-kodiċi, mhux l-immaġni tal-ħruġ; Tmexxi l-kodiċi u tara l-graff.

3. Qabbel il-graff mal-matematika. Il-graff turi proprjetajiet magħrufa tal-funzjoni? sin(x) għandu joxxilla bejn −1 u 1; parabola trid tkun simetrika; funzjoni esponenzjali trid tiżdied malajr. Jekk it-tabella ma turix dawn, hemm żball fil-kodiċi.

4. Iċċekkja l-firxa tal-assi. Spazjar mhux korrett jista' jaħbi għerq jew imġieba importanti. Kun żgur li tkopri r-reġjun interessanti tal-funzjoni.

5. Iċċekkja t-tikketta u l-iskala. L-assi huma ttikkettjati? L-iskala (lineari/log) hija korretta? Skala qarrieqa tagħti impressjoni ħażina.

6. Ikkonferma b'tikka numerika. Jekk il-graff turi f(2)≈3, ivverifika dan bil-kalkolu. Il-grafika tista' tkun (jekk titfassal il-funzjoni ħażina).

Tip: Wara li tfassal grafika, ivverifikaha billi tikkalkula b'mod indipendenti mill-inqas punt wieħed fuqha. Jekk il-graff turi y=1 f'x=0, ikkalkula f(0) manwalment. Jekk jaqblu, il-funzjoni korretta probabbilment ġiet imfassla; Jekk ma taqbilx, l-AI jista’ jkun ikkodifika espressjoni ħażina.

Riżoluzzjoni u kampjunar: fejn tinsab il-graff

Plott Matplotlib fil-fatt mhuwiex kurva kontinwa; Jikkalkula l-funzjoni f'numru finit ta 'punti u jgħaqqad dawn il-punti b'linji dritti. In-numru ta 'dawn il-punti jissejjaħ riżoluzzjoni ta' kampjunar. Jekk ir-riżoluzzjoni hija baxxa (eż. 10 punti biss iġġenerati b'linspace f'NumPy), funzjoni li tixxilla malajr (eż. sin(50x)) tista' tidher kompletament ħażina fil-graff - ħafna mill-qċaċet u l-ħwat jaqgħu bejn iż-żewġ punti ta 'kampjunar u jisparixxu. Dan jissejjaħ aliasing fl-ipproċessar tas-sinjali. AI kultant tikteb kodiċi li jipproduċi numru żgħir ta 'punti; Ir-riżultat huwa graff fluwidu iżda qarrieqi.

L-antidotu huwa sempliċi: żomm in-numru ta 'punti ta' kampjunar għoli f'funzjonijiet li jinbidlu malajr (eż. np.linspace(a, b, 1000)). Ukoll, jekk graff ikollu dehra angolari, bis-snien jew irregolari li ma tistennax, dan huwa spiss effett sekondarju tar-riżoluzzjoni baxxa u mhux l-imġieba attwali tal-funzjoni; Żid in-numru ta 'punti u iċċekkja jekk il-grafika tinbidel. Jekk il-grafika tinbidel b'mod sinifikanti bin-numru ta 'punti, għadek ma tarax il-forma vera tal-funzjoni.

Attenzjoni: Grafika b'riżoluzzjoni baxxa tista' tirrappreżenta ħażin kompletament funzjoni li toxxilla malajr — jew saħansitra taqbel ma' mudell li ma jeżistix. Meta tfassal grafika kritika, agħżel deliberatament numru għoli ta 'punti ta' kampjunar u vverifika li l-graff tibqa 'stabbli hekk kif iżżid in-numru ta' punti.

Għażla tat-tip ta' chart

Għan

grafika xierqa

Funzjoni Matplotlib

Kurva tal-funzjoni

linja chart

plot()

punti tad-data

Scatter plot

xerred()

distribuzzjoni

istogramma

hist()

Żewġ relazzjoni varjabbli

Scatter + kurva

plot() + scatter()

Paragun kategoriku

bar chart

bar()

Wiċċ/3D

Wiċċ 3D

plot_surface()

tliet każijiet żgħar

Każ 1 — Għerq moħbi. Student wieħed kellu graff imfassal biex jara l-għeruq ta 'polinomjali, iżda għażel il-medda tal-assi YZ [−1, 1]; billi l-għeruq kienu madwar x=3 u ma kinux viżibbli fuq il-graff xejn. L-istudent jistaqsi "din il-funzjoni m'għandhiex għerq?" Huwa kien sorpriż, imbagħad meta biddel l-ispazjar għal [−5, 5], dehru l-għeruq. Lezzjoni: spazjar ħażin jaħbi l-matematika.

Każ 2 — Funzjoni mhux korretta. Għalliem ried jagħmel l-AI tiġbed "cos(x²)", iżda l-kodiċi kiteb bi żball "cos(x)²" (jiġifieri cos²(x)). Iż-żewġ funzjonijiet huma differenti ħafna. Meta l-għalliem qabbel il-graff mal-valur mistenni f'x=√π, ra li ma taqbilx u qabad l-iżball. Il-post tal-parentesi jibdel kollox.

Każ 3 — Il-verifika viżwali ħadet l-għeruq. L-ewwel inġinier għamel grafika tal-funzjoni u ra li jaqsam l-assi x f'żewġ postijiet (~ 1.2 u ~ 4.7). B'din l-informazzjoni viżwali, tat lill-sejbien tal-għeruq diġitali guess inizjali preċiżi u sabet iż-żewġ għeruq b'mod preċiż. Mingħajr il-graff, jista 'jikkonverġi biss għal għerq. Żewġ għeruq f'5 minuti.

Erba' mudelli li jistgħu jiġu kkupjati

1) Ċart tal-funzjoni:

Ikteb kodiċi Matplotlib li jpinġi l-funzjoni [f(x)] fil-medda [a, b]. Oħloq firxa x b'NumPy, ittikketta l-assi, żid grilja, poġġi titolu. Se nmexxi l-kodiċi; tidentifika l-immaġini. Agħżel l-ispazjar xieraq sabiex l-għeruq/punti speċjali jkunu viżibbli.

2) Intersezzjoni ta 'żewġ kurvi:

Iġbed [f(x)] u [g(x)] funzjonijiet fil-medda [a, b] fuq l-istess graff. Urihom f'kuluri differenti, żid leġġenda. Aġġusta l-ispazjar tal-assi sabiex inkun nista' nara bejn wieħed u ieħor fejn huma l-punti ta' intersezzjoni.

3) Verifika viżwali + numerika:

Iplottja [f(x)] U stampa l-valuri f attwali tat-3 punti tal-kampjun (x=[valuri]) fuq il-graff. Allura nista 'nqabbel it-tabella mal-valuri numeriċi. Agħti biss il-kodiċi.

4) Istogramma tad-dejta:

Ikteb kodiċi li jpinġi istogramma tal-lista ta' data li ġejja: [data]. Agħżel in-numru xieraq ta 'firxiet (bins), ittikkettja l-assi. Ipprintja wkoll il-medja u d-devjazzjoni standard. Se nmexxi l-kodiċi.

Pront dgħajjef / Pront qawwi

Dgħajjef: "Plott il-funzjoni 1/(x−2)."
Riżultat: Il-kodiċi jista 'ma jimmaniġġjax sew l-asintota vertikali f'x=2; Il-graff turi linja vertikali qarrieqa f'x=2 u l-imġieba tal-funzjoni hija mifhuma ħażin.
Qawwija: "Pinċa l-funzjoni 1/(x−2) fuq il-medda [−5, 5], imma uri l-asintota vertikali f'x=2 b'mod korrett: valuri ta' limitu ħdejn l-asintot jew ipplottjahom bħala żewġ partijiet separati. Ittikkettja l-assi, immarka l-asintota b'linja mtaqqba."
Riżultat: L-asintot jintwera b'mod korrett, il-grafika tirrifletti l-imġieba reali tal-funzjoni.

Żbalji komuni

  • Firxa tal-assi ħażina. Il-firxa li ma tkoprix ir-reġjun interessanti tal-funzjoni (għeruq, vertiċi) joskura l-matematika.
  • Injora l-asintoti. Asintoti vertikali f'funzjonijiet bħal 1/x iwasslu għal linji qarrieqa; immaniġġjar speċjali meħtieġ.
  • Parentesi/żball tan-notazzjoni. Differenzi bħal cos(x²) u cos²(x) huma mgħoddija fil-kodiċi b'mod żbaljat; Il-graff turi funzjoni oħra.
  • Assi bla tikketta. Dak li jinġibed għadu mhux ċar; Huwa nuqqas serju fil-materjal tal-kors.
  • Mhux tikkonferma l-grafika numerikament. Jekk il-grafika tpinġi l-funzjoni ħażina, il-kalkulu tal-punti biss jaqbadha.
  • Skala qarrieqa. Il-konfużjoni fuq skala logaritmika/lineari tagħti impressjoni ħażina.
Attenzjoni: Sempliċement għax chart "tidher sabiħa" ma tagħmilhiex tajba. AI tista 'tipproduċi graff li huwa estetikament pjaċir iżda matematikament mhux korrett—per eżempju, jista' jiġbed il-funzjoni ħażina, fil-medda ħażina, jew b'asintota mgħawġa. Dejjem qabbel il-graff mal-proprjetajiet magħrufa tal-funzjoni li jippjana u b'mill-inqas punt wieħed ta' kalkolu.

Fil-qosor

Il-viżwalizzazzjoni hija kemm espressjoni kif ukoll għodda ta 'verifika: li tara viżwalment l-imġieba ta' funzjoni, l-għeruq u l-intersezzjonijiet tagħha, hija mod b'saħħtu biex taqbad l-iżbalji u ssib punti tat-tluq numeriċi preċiżi. L-AI jiġġenera malajr il-kodiċi Matplotlib; Tmexxi l-kodiċi, tqabbel il-graff mal-proprjetajiet magħrufa tal-funzjoni, tiċċekkja l-firxa tal-assi u l-asintoti, u tikkonferma mill-inqas punt wieħed numerikament. Grafika sabiħa mhix graff korretta; dejjem tqabbel mal-matematika.

Kompitu ta' applikazzjoni

Agħżel funzjoni interessanti (eż. 1/(x−2), li għandha asintota vertikali, jew polinomjali b'diversi għeruq). Ħalli l-AI tfassal il-graff bl-ewwel u t-3 mudelli u tipprintja l-valuri reali ta 'ftit punti. Mexxi l-kodiċi u ara l-graff. Qabbel il-karatteristiċi fuq il-graff (għeruq, asintoti, vertiċi) mal-matematika magħrufa tal-funzjoni. Ivverifika mill-inqas punt wieħed manwalment jew b'SymPy. Ibdel il-firxa tal-assi u ara jekk toħroġx xi mġieba moħbija.

lista ta' kontroll

  • [ ] Iddikjarajt b'mod ċar dak li ridt niġbed bl-ispazjar u t-tikketti.
  • [ ] I dam il-kodiċi u fil-fatt rajt il-graff.
  • [ ] Qabbilt il-graff ma' proprjetajiet magħrufa tal-funzjoni.
  • I vverifikajt li l-firxa tal-assi [ ] tkopri r-reġjun interessanti.
  • [ ] Iċċekkjt ​​li l-asintoti/punti mhux definiti jintwerew b'mod korrett.
  • [ ] Ikkonfermajt mill-inqas punt wieħed numerikament.