NotesFAQContact Us
Collection
Advanced
Search Tips
Showing all 10 results Save | Export
Peer reviewed Peer reviewed
Direct linkDirect link
Paola Iannone; Athina Thoma – International Journal of Mathematical Education in Science and Technology, 2024
Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…
Descriptors: Programming, Mathematics Instruction, Computer Science Education, Student Attitudes
Peer reviewed Peer reviewed
Direct linkDirect link
Xiaoheng Yan; Gila Hanna – International Journal of Mathematical Education in Science and Technology, 2025
As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…
Descriptors: Mathematics Instruction, Undergraduate Students, Mathematical Logic, Validity
Peer reviewed Peer reviewed
Direct linkDirect link
Liang Kong – International Journal of Mathematical Education in Science and Technology, 2024
The COVID-19 pandemic, like past historical events such as the Vietnam War or 9/11, will shape a generation. Mathematics educators can seize this unprecedented opportunity to teach the principles of mathematical modeling in epidemiology. Compartmental epidemiological models, such as the SIR (susceptible-infected-recovered), are widely used by…
Descriptors: Mathematics Instruction, Teaching Methods, Advanced Courses, Epidemiology
Peer reviewed Peer reviewed
Direct linkDirect link
Olteanu, Constanta – International Journal of Mathematical Education in Science and Technology, 2022
This article explores the features of students' reasoning and sense-making when computer programming and mathematics interact, specifically, using the exterior angle concept to make different regular polygons with Scratch as a programming tool. At the end of the 2019 spring term in a public elementary school, data were obtained from a pretest, a…
Descriptors: Programming, Mathematics Instruction, Teaching Methods, Thinking Skills
Peer reviewed Peer reviewed
Direct linkDirect link
Jessica Hunt; Rebekah Davis; Alejandra Duarte – International Journal of Mathematical Education in Science and Technology, 2024
The COVID-19 pandemic prompted a shift in K-12 educational delivery from primarily in-person classroom instruction to remote learning. Developing broadcast instruction is one way to provide learners who experience barriers to contemporary forms of remote learning, which are typically provided over the internet, a way to access quality mathematics…
Descriptors: Teaching Methods, Mathematics Instruction, Instructional Design, Video Technology
Peer reviewed Peer reviewed
Direct linkDirect link
Elina Viro – International Journal of Mathematical Education in Science and Technology, 2024
The article focuses on study visits from the perspective of mathematical project work. Project work means a systematic organizing method of teaching that is based around a project. The research questions are the kinds of study visits students made, the meaning(s) of those visits, the mathematical content in the visits and how such study visits…
Descriptors: Mathematics Instruction, Teaching Methods, Student Projects, Course Content
Peer reviewed Peer reviewed
Direct linkDirect link
Dayal, Vikram – International Journal of Mathematical Education in Science and Technology, 2023
Epidemiological models have enhanced relevance because of the COVID-19 pandemic. In this note, we emphasize visual tools that can be part of a learning module geared to teaching the SIR epidemiological model, suitable for advanced undergraduates or beginning graduate students in disciplines where the level of prior mathematical knowledge of…
Descriptors: Biology, Visual Aids, Epidemiology, Science Instruction
Peer reviewed Peer reviewed
Direct linkDirect link
Kaufmann, Odd Tore; Stenseth, Børre – International Journal of Mathematical Education in Science and Technology, 2021
This article attempts to identify the kind of arguments that lower secondary school-level pupils use when they apply programming to solve a mathematical problem. By analyzing the data from one group of three pupils working together with Processing (Processing is a Java based tool primarily to learn programme visual effects supported and…
Descriptors: Programming, Teaching Methods, Secondary School Mathematics, Persuasive Discourse
Peer reviewed Peer reviewed
Direct linkDirect link
Doehler, Kirsten; Taylor, Laura – International Journal of Mathematical Education in Science and Technology, 2015
This article is based on the experiences of two statistics professors who have taught students to write and effectively utilize code-based software in a college-level introductory statistics course. Advantages of using software and code-based software in this context are discussed. Suggestions are made on how to ease students into using code with…
Descriptors: Computer Software, Programming, Coding, Syntax
Peer reviewed Peer reviewed
Direct linkDirect link
Bringslid, Odd; Norstein, Anne – International Journal of Mathematical Education in Science and Technology, 2008
This article evaluates online mathematical content used for teaching mathematics in engineering classes and in distance education for teacher training students. In the EU projects Xmath and dMath online computer algebra modules (Steplets) for undergraduate students assembled in the Xmath eBook have been designed. Two questionnaires, a compulsory…
Descriptors: Undergraduate Students, Student Projects, Distance Education, Programming Languages