English
Related papers

Related papers: The teaching of proof

200 papers

Understanding issues involved in expertise in physics problem solving is important for helping students become good problem solvers. In part 1 of this article, we summarize the research on problem-solving relevant for physics education…

Physics Education · Physics 2023-05-30 Alexandru Maries , Chandralekha Singh

In an increasingly data-driven world, facility with statistics is more important than ever for our students. At institutions without a statistician, it often falls to the mathematics faculty to teach statistics courses. This paper presents…

Other Statistics · Statistics 2021-09-01 David White

This paper frames calculus as a global, centuries-long development rather than a subject that began only with Newton and Leibniz. Drawing on ideas from Greek, Indian, Islamic, and later European mathematics, it highlights how concepts like…

History and Overview · Mathematics 2026-02-02 Chamila Gamage

Problem solving is central to physics instruction. Results from Physics Education Research (PER), however, demonstrate that traditional ways of teaching with problem solving are inefficient and ineffective for promoting true physics…

Physics Education · Physics 2007-05-23 William J. Gerace , Ian D. Beatty

This essay considers ways that recent uses of computers in mathematics challenge contemporary views on the nature of mathematical understanding. It also puts these challenges in a historical perspective and offers speculation as to a…

History and Overview · Mathematics 2023-11-01 Jeremy Avigad

This book introduces to the theory of probabilities from the beginning. Assuming that the reader possesses the normal mathematical level acquired at the end of the secondary school, we aim to equip him with a solid basis in probability…

History and Overview · Mathematics 2021-09-08 Gane Samb Lo , Aladji Babacar Niang , Lois Chinewendu Okereke

While many methods purport to explain predictions by highlighting salient features, what aims these explanations serve and how they ought to be evaluated often go unstated. In this work, we introduce a framework to quantify the value of…

The study of propositional logic -- fundamental to the theory of computing -- is a cornerstone of the undergraduate computer science curriculum. Learning to solve logical proofs requires repeated guided practice, but undergraduate students…

Deep metric learning papers from the past four years have consistently claimed great advances in accuracy, often more than doubling the performance of decade-old methods. In this paper, we take a closer look at the field to see if this is…

Computer Vision and Pattern Recognition · Computer Science 2020-09-17 Kevin Musgrave , Serge Belongie , Ser-Nam Lim

In this chapter, we provide advice on how to effectively teach survey research based on lessons learned from several international teaching experiences on the topic and from conducting large-scale surveys published at various scientific…

Software Engineering · Computer Science 2024-08-01 Marcos Kalinowski , Allysson Allex Araújo , Daniel Mendez

The effective teaching and learning of statistics persist as a challenge in K-12 education and has clear impacts in developing competence and confidence of students in entering STEM fields especially in today's digital age of data science.…

History and Overview · Mathematics 2026-02-24 Mark Louie F. Ramos

Over the past decades, numerous practical applications of machine learning techniques have shown the potential of data-driven approaches in a large number of computing fields. Machine learning is increasingly included in computing curricula…

Computers and Society · Computer Science 2022-08-04 Matti Tedre , Tapani Toivonen , Juho Kahila , Henriikka Vartiainen , Teemu Valtonen , Ilkka Jormanainen , Arnold Pears

The paper opens with an overview of the discussion of international comparisons (including goals) in mathematics education. Afterwards, the two most important recent international studies, the PISA Study and TIMSS-Repeat, are described.…

History and Overview · Mathematics 2007-05-23 Gabriele Kaiser , Frederick K. S. Leung , Thomas Romberg , Ivan Yaschenko

It is rare to succeed in getting mathematics into ordinary conversation without meeting all kinds of reservations. In order to raise public awareness of mathematics effectively, it is necessary to modify such attitudes. In this paper, we…

History and Overview · Mathematics 2007-05-23 Vagn Lundsgaard Hansen

Thermodynamics could be seen as an expression of physics at a high epistemic level. As such, its potential as an inductive bias to help machine learning procedures attain accurate and credible predictions has been recently realized in many…

Machine Learning · Computer Science 2023-05-29 Elias Cueto , Francisco Chinesta

We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete…

Artificial Intelligence · Computer Science 2007-05-23 Joseph Y. Halpern , Riccardo Pucella

We explore the use of expert iteration in the context of language modeling applied to formal mathematics. We show that at same compute budget, expert iteration, by which we mean proof search interleaved with learning, dramatically…

Machine Learning · Computer Science 2022-02-04 Stanislas Polu , Jesse Michael Han , Kunhao Zheng , Mantas Baksys , Igor Babuschkin , Ilya Sutskever

In the last decade, major efforts have been made to promote inquiry-based mathematics learning at the tertiary level. The Inquiry-Based Mathematics Education (IBME) movement has gained strong momentum among some mathematicians, attracting…

History and Overview · Mathematics 2022-09-22 Tanya Evans , Heiko Dietrich

Feedback has a powerful influence on learning, but it is also expensive to provide. In large classes, it may even be impossible for instructors to provide individualized feedback. Peer assessment has received attention lately as a way of…

Applications · Statistics 2014-10-16 Dennis L. Sun , Naftali Harris , Guenther Walther , Michael Baiocchi

We introduce a logic for reasoning about evidence, that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete…

Artificial Intelligence · Computer Science 2014-07-29 Joseph Y. Halpern , Riccardo Pucella