Matematiikan kirjoittaminen verkko-oppimisympäristöissä : erilaisia menetelmiä

Abstract

Verkko-oppimisympäristöjen integrointi matematiikan opetukseen on aihe, jota tarkasteltu laajasti. Eräs aiheeseen liittyvä ongelma on matemaattisen tekstin ja matematiikan kirjoittamisen sähköistäminen opetuksen kannalta järkevällä tavalla. Tutkielmassa tarkastellaan eri verkko-oppimisympäristöihin sopivia notaatiomenetelmiä. Matematiikan kirjoittamiseen voidaan käyttää symbolista tai lineaarista notaatiota, mutta vaihtoehtoisesti kirjoittamista voidaan pyrkiä välttää. Matemaattisen argumentoinnin sähköistäminen onnistuu formaalilla argumentointikielillä, kuten rakenteisilla päättelyketjuilla.

Integration of virtual learning environments into mathematics education is a topic that has been looked into a lot. One of the problems in said topic is digitalising the writing and argumentation processes in a sensible way from the perspective of education. In this thesis, different writing methods suitable for VLEs are considered. Symbolic and linear notations can be used, but alternatively one can attempt to avoid writing mathematics altogether. Digitalising mathematical argumentation is possible with formal argumentation languages, such as structured calculational proofs.