A Formalisation of Swedish Upper Secondary School Mathematics

Bachelor thesis Swedish OPEN
Bosk, Daniel;
  • Publisher: KTH, Matematik (Avd.)
  • Subject: Formell matematik | Matematik | Education | Undervisning | Mathematics | Formal mathematics | Bevis | Proof

This study examines how formal mathematics can be taught in the Swedish secondary school with its new curriculum for mathematics. The study examines what a teaching material in formal mathematics corresponding to the initial content of the course Mathematics 1c could lo... View more
Share - Bookmark