Johdanto

Mikä MathCheck on?

Muutama esimerkki (näytä myös kysymysten MathCheck-syöte)

Tekniikasta on hyvä tai hauska tietää heti nämä

Opiskelijan näkemä tehtävä on lomakkeellinen veppisivu, ei sen kummenpaa

• jos osaat HTML:ää ja CSS:ää ja kirjoitat tehtäväsivun itse, saat sinne vaikka mitä
• jollet osaa (tai vaikka osaisitkin), avuksesi on tehtävien laadintaohjelma ⛱

Palauteohjelma latoo matematiikan MathJaxilla AsciiMathia käyttäen

• AsciiMath on kevyempi, helpompi ja rajoittuneempi kuin LaTeX
• maaliskuussa 2017 MathJax asennettiin Matematiikan laboratorion palvelimelle (sitä ennen oli käytetty julkista veppiversiota)

Veppinäkökulmasta kevyttä teknologiaa — paitsi matematiikan ladonta

• toimii laajalti eri selaimissa
• nopeat vasteajat — paitsi matematiikan ladonta

Ohjelmat C++:aa ja osittain hyvin vaativia ⛐

• palauteohjelma tekee työlään asian ⛟
  ⇨ nopeuteen kiinnitetty paljon huomiota, koodi ei todellakaan helppoa
• kaikki paitsi MathJax itse tehtyä
  ⇨ ei lisenssiongelmia, täysi valta yksityiskohtiin

Koska melkein kaikki olennainen tehdään itse,

• ohjeet laahaavat jäljessä
• koko ajan on jotain kesken
• (helppoja) toivomuksia on helppo toteuttaa

Ainakin Firefox ja gedit tukevat nykyisin 𝔳𝔞𝔩𝔱𝔞𝔳𝔞𝔞 määrää 𝓂𝒶𝓉ℯ𝓂𝒶𝒶𝓉𝓉𝒾𝓈𝒾𝒶 merkkejä

• esim. ‱ ⦨ ⩱ ⪟ ℂ ℜ ℵ ℧ ↬ ⇘ ⥉∰ ⊯ ⋇ ⏧
• ∀ε; ε > 0: ∃δ; δ > 0: ∀x ∈ ℝ: |x−x₀| < δ → ∣f(x)−f(x₀)∣ < ε
• ∃j; 0≤j≤i: Δ[j]=2   ⇔   ∃j; 0 ≤ j ≤ i: Δ[j] = 2
• ⇨ muun saisi ilman MathJaxiakin, mutta ei ladonnallisia rakenteita tyyliin `root(3)(sum_(n=0)^oo (x^n)/(n!))`

MathCheck on nykyisin monta ohjelmaa

Palauteohjelma

• opiskelijan näkemä
• “alkuperäinen” MathCheck

Tehtävien laadintaohjelma

• opettajien käyttöön
• nämä sivut on tuotettu sillä

Muutama pieni ohjelma

• Exam-vastauksen purku
• (tehtävän arpominen joukosta valmiita)
• (ohjelmia testausta ja merkkien kuviin muodostamista varten)

Ylimmän tason komennot

Iso alkukirjain nollaa yleiset asetukset kuten draw_off ja prove_off, pieni ei

Tehtävälajit — nämä käsitellään kohta jokainen erikseen

• Arithmetic ja arithmetic (oletusarvo, “alkuperäinen” MathCheck)
• Array_claim ja array_claim
• Equation ja equation
• Modulo ja modulo
• Prop_logic ja prop_logic
• Tree_compare ja tree_compare

Muut ylätason komennot

• Draw_function ja draw_function piirtävät ≤ 6 funktion kuvaajan draw_function ; sin x; sin x + 1/3 sin 3x; sin x + 1/3 sin 3x + 1/5 sin 5x; sin x + 1/3 sin 3x + 1/5 sin 5x + 1/7 sin 7x; sin x + 1/3 sin 3x + 1/5 sin 5x + 1/7 sin 7x + 1/9 sin 9x; sin x + 1/3 sin 3x + 1/5 sin 5x + 1/7 sin 7x + 1/9 sin 9x + 1/11 sin 11x;

• MathCheck ja mathcheck tulostavat copyright-tietoja (oikeastaan copyleft) mathcheck

• Parse_tree ja parse_tree piirtävät lausekepuita parse_tree 8−(5−2) ≠ 8−5−2; (AA x; x ≠ 8: (x−4)(x−5) = x^2 −9x + 20 < 0) /\ 1=2 ⇔ EE z: z=3 ⇒ 7=6 ⇐ TT

This file was generated 2017-06-08 08:53:32 UTC.