English
Related papers

Related papers: Beginning Mathematical Writing Assignments

200 papers

The learning of mathematics starts early but remains far from any theoretical considerations: pupils' mathematical knowledge is first rooted in pragmatic evidence or conforms to procedures taught. However, learners develop a knowledge which…

History and Overview · Mathematics 2014-03-28 Nicolas Balacheff

There are many scientific problems generated by the multiple and conflicting alternative definitions of linguistic recursion and human recursive processing that exist in the literature. The purpose of this article is to make available to…

Computation and Language · Computer Science 2009-09-22 P. Gilkey , S. Lopez Ornat , A. Karousou

"Is math useful?" might sound as a trick question. And it is. Of course math is useful, we live in a data-filled world and every aspect of life is totally entwined with math applications, both trivial and subtle applications, of both basic…

History and Overview · Mathematics 2021-05-11 Alberto Saracco

We summarize four different versions of our course notes on the limits of mathematics.

chao-dyn · Physics 2008-02-03 G. J. Chaitin

We describe various errors in the mathematical literature, and consider how some of them might have been avoided, or at least detected at an earlier stage, using tools such as Maple or Sage. Our examples are drawn from three broad…

Number Theory · Mathematics 2021-10-14 Richard P. Brent

Foundations of formal languages, as subfield of theoretical computer science, are part of typical upper secondary education curricula. There is very little research on the potential difficulties that students at this level have with this…

Computers and Society · Computer Science 2024-09-24 Marko Schmellenkamp , Dennis Stanglmair , Tilman Michaeli , Thomas Zeume

Formal grammars are extensively used in Computer Science and related fields to study the rules which govern production of a language. The use of these grammars can be extended beyond mere language production. One possibility is to view…

Formal Languages and Automata Theory · Computer Science 2017-08-17 Abhinav Aggarwal

The "Millennium Prize Problems" have a place in the history of mathematics. Here we tell some little-known anecdotes from the perspective of the planner of that project. These stories are far from their end; more likely they are just at…

History and Overview · Mathematics 2020-07-29 Arthur Jaffe , Boqing Xue

The key difference between math as math and math in science is that in science we blend our physical knowledge with our knowledge of math. This blending changes the way we put meaning to math and even to the way we interpret mathematical…

Physics Education · Physics 2021-05-11 Edward F. Redish

Writing is a foundational literacy skill that underpins effective communication, fosters critical thinking, facilitates learning across disciplines, and enables individuals to organize and articulate complex ideas. Consequently, writing…

Computation and Language · Computer Science 2026-03-05 Jiangang Hao

The words ``Programming is the second literacy'' were coined more than 40 years ago but never came to life. This paper is one in the series of papers aimed at the analysis of mathematical requirements for a merge of school mathematics with…

History and Overview · Mathematics 2022-12-26 Alexandre Borovik , Vladimir Kondratiev

High school science classrooms across the United States are answering calls to make computation a part of science learning. The problem is that there is little known about the barriers to learning that computation might bring to a science…

Physics Education · Physics 2023-09-16 Patti Hamerski , Daryl McPadden , Marcos D. Caballero , Paul W. Irving

Based on a variety of philosophical approaches and my own work for decades in pure and applied mathematics teaching and research, I explain my view upon the basic difficulties of acquiring the Mathematical Experience (in the sense of P.J.…

History and Overview · Mathematics 2013-12-10 Bernhelm Booss-Bavnbek

Regular expressions in an Automata Theory and Formal Languages course are mostly treated as a theoretical topic. That is, to some degree their mathematical properties and their role to describe languages is discussed. This approach fails to…

Programming Languages · Computer Science 2023-08-15 Marco T. Morazán

The purpose of this paper is to emphasize the role of language in the process of teaching and learning mathematics. We will begin with the definition of mathematics given by Cassiodorus (in its essential features repeated in Kolmogorov's…

General Mathematics · Mathematics 2018-10-30 Aslanbek Naziev

Here I share a few notes I used in various course lectures, talks, etc. Some may be just calculations that in the textbooks are more complicated, scattered, or less specific; others may be simple observations I found useful or curious.

Discrete Mathematics · Computer Science 2025-06-17 Leonid A. Levin

A sketch of some of the fundamental notions related to the nature of knowledge is offered, with special focus on the role of mathematics and my own opinions. No single idea exposed here is entirely original; indeed, this topic has been…

History and Overview · Mathematics 2023-10-23 Daniel Canarutto

We present a research mathematician's perspective on current developments around in K-12 mathematics. We share activities, and highlight the different ways in which students' reasoning can progress, such as amount of abstraction,…

History and Overview · Mathematics 2019-01-01 Dev P. Sinha

This experience report explores the effects of ungraded assignments on the learning experience of students in an introductory computing course. Our study examines the impact of ungraded assignments on student engagement, understanding, and…

Computers and Society · Computer Science 2025-12-30 Yehya Sleiman Tellawi , Abhishek K. Umrawal

We describe two systems for supporting beginner students in acquiring basic skills in expressing statements in the formalism of first-order predicate logic; the first, called "math dictations", presents users with the task of formalizing a…

Logic · Mathematics 2020-07-10 Merlin Carl
‹ Prev 1 8 9 10 Next ›