Publication Date
In 2025 | 1 |
Since 2024 | 5 |
Since 2021 (last 5 years) | 8 |
Since 2016 (last 10 years) | 8 |
Since 2006 (last 20 years) | 10 |
Descriptor
Teaching Methods | 10 |
Mathematics Instruction | 9 |
Computer Software | 5 |
Programming | 5 |
Programming Languages | 5 |
Undergraduate Students | 5 |
Foreign Countries | 4 |
COVID-19 | 3 |
Pandemics | 3 |
Computation | 2 |
Computer Science Education | 2 |
More ▼ |
Source
International Journal of… | 10 |
Author
Alejandra Duarte | 1 |
Athina Thoma | 1 |
Bringslid, Odd | 1 |
Dayal, Vikram | 1 |
Doehler, Kirsten | 1 |
Elina Viro | 1 |
Gila Hanna | 1 |
Jessica Hunt | 1 |
Kaufmann, Odd Tore | 1 |
Liang Kong | 1 |
Norstein, Anne | 1 |
More ▼ |
Publication Type
Journal Articles | 10 |
Reports - Research | 6 |
Reports - Evaluative | 3 |
Reports - Descriptive | 1 |
Education Level
Higher Education | 5 |
Postsecondary Education | 4 |
Elementary Education | 3 |
Junior High Schools | 2 |
Middle Schools | 2 |
Secondary Education | 2 |
Grade 7 | 1 |
Grade 8 | 1 |
Grade 9 | 1 |
High Schools | 1 |
Audience
Teachers | 1 |
Location
Norway | 2 |
Finland | 1 |
Israel | 1 |
North Carolina | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
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
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
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
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
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
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
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
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
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
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