Rakenteiset päättelyketjut

Rakenteiset päättelyketjut

Rakenteiset päättelyketjut on matemaattiselle argumentoinnille kehitetty menetelmä päättelyiden esittämiseksi helposti ymmärrettävässä muodossa. Menetelmän avulla opiskelijat pystyvät paremmin seuraamaan ja ymmärtämään opettajan esittämiä matemaattisia ratkaisuja. Rakenteiset päättelyketjut antaa opiskelijoille mallin sille, miten matemaattisten ongelmien ratkaisuja rakennetaan. Yhtenäinen esitysmuoto tekee virheiden löytämisen ja korjaamisen helpoksi. Rakenteisia päättelyketjuja voidaan kirjoittaa hyvin tietokoneen avulla. Niitä voi myös analysoida tietokoneella. Tietokoneanalyysi tarkistaa, onko päättelyketju mielekäs ja matemaattisesti oikea.

Rakenteisia päättelyketjuja voidaan käyttää kaikenlaisiin matemaattisiin päättelyihin: laskuihin, yhtälönratkaisuun, lausekkeiden sieventämiseen, teoreemojen todistamiseen ja niin edelleen. Menetelmä sopii niin peruskouluun kuin yliopistoonkin.

Automaattinen tarkistaminen

Rakenteisen päättelyketjun oikeellisuus voidaan tarkistaa tiekoneen avulla.  4f Checker tarkistin käy läpi päättelyketjun askel askeleelta ja merkitsee virheelliset tai ongelmalliset päättelyaskeleet. Päättelyketju on matemaattisesti oikein jos tarkistin hyväksyy kaikki askeleet. Tarkistinta voidaan käyttää 4f Studiossa ja 4f Notes Onlinessa. Lue lisää...

Esimerkki automaattisesta tarkistamisesta

Tarkistin käy läpi viereisen esimerkin askel askeleelta. Se merkitsee ne askeleet jotka se ei ole pystynyt todistamaan okeiksi huutomerkillä. Seuraava kuva näyttä tilanteen kun virhe on korjattu.