相关论文: Transitioning to Proof

This paper is divided into two sections. In the first I give reasons for strongly recommending reading some of Henkin's expository papers. In the second I describe Leon Henkin's work as a social activists in the field of mathematics…

To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary…

In recent years we have explored using Haskell alongside a traditional mathematical formalism in our large-enrolment university course on topics including logic and formal languages, aiming to offer our students a programming perspective on…

Students' interactions with online tools can provide us with insights into their study and work habits. Prior research has shown that these habits, even as simple as the number of actions or the time spent on online platforms can…

This note presents reflections drawn from my recent experiences in teaching a course on mathematics and sustainability, with a particular emphasis on raising awareness of the topic and its broader implications. The lectures were structured…

This paper shares a classroom story from Fall 2022 to Spring 2025 about a learner centered routine in undergraduate mathematics. I use four steps: an opening question, a short mini lecture about meaning, structured small group work, and a…

In complex transfer learning scenarios new tasks might not be tightly linked to previous tasks. Approaches that transfer information contained only in the final parameters of a source model will therefore struggle. Instead, transfer…

Formal mathematics is mathematics done within the framework of a formal logic. It offers major benefits to mathematicians as well as to computing professionals, engineers, and scientists who use mathematics in their work. The standard…

An undergraduate compilers course poses significant challenges to students, in both the conceptual richness of the major components and in the programming effort necessary to implement them. In this paper, I argue that a related…

Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (also known as theorem provers) was to enable mathematicians…

An essential step in the process of developing a physics identity is the opportunity to engage in authentic physics practices - an ideal place to gain these experiences is physics laboratory courses. We are designing a practice-based…

A close look at students' written work on examinations offers a wealth of information about their performance, their knowledge of the subject, their strengths, weaknesses and misconceptions, and their overall level of mathematical skills…

This paper presents the course design titled "Learning Management" of which the goal is to "learn collaborative learning" for a first-year undergraduate student. The objective of the class design is to help transform the student's belief of…

Curriculum learning--ordering training examples in a sequence to aid machine learning--takes inspiration from human learning, but has not gained widespread acceptance. Static strategies for scoring item difficulty rely on indirect proxy…

A simple model to help students see the connections between a physics course and their engineering major is described. "Bridging" had positive effects on performance, attitude, and motivation, as measured by grade analyses, surveys, and…

This article provides an accessible illustration of the measurement approach to the study of the quantum-classical transition suitable for beginning graduate students. As an example, we apply it to a quantum system with a general quadratic…

There is an increasing pressure for lecturers to work with two goals. First, they need to ensure their undergraduate students have a good grasp of the knowledge and skills of the intellectual field. In addition, they need to prepare…

The Lean mathematical library mathlib is developed by a community of users with very different backgrounds and levels of experience. To lower the barrier of entry for contributors and to lessen the burden of reviewing contributions, we have…

In recent years, machine learning (ML) techniques have emerged as powerful tools for studying many-body complex systems, and encompassing phase transitions in various domains of physics. This mini review provides a concise yet comprehensive…

We introduce Prove-It, a Python-based general-purpose interactive theorem-proving assistant designed with the goal of making formal theorem proving as easy and natural as informal theorem proving (with moderate training). Prove-It uses a…