The interest in producing this book arose out of a concern for the education of graduate
students and young researchers in mathematics education. A few years ago, as a result of …

Although abstraction is widely understood to be one of the primary components of
computational thinking, the roots of abstraction may be traced back to different fields. Hence …

When we “think like a computer scientist,” we are able to systematically solve problems in
different fields, create software applications that support various needs, and design artefacts …

The ability to construct proofs is an important skill for all mathematicians. Despite its
importance, students have great difficulty with this task. In this paper, I first demonstrate that …

Is abstraction the key to computing? Page 1 IS ABSTRACTION THE KEY TO COMPUTING?
Why is it that some software engineers and computer scientists are able to produce clear …

In this paper, we distinguish between two ways that an individual can construct a formal
proof. We define a syntactic proof production to occur when the prover draws inferences by …

There has been significant growth in the literature base exploring questions of teaching in
undergraduate mathematics. In this paper we synthesize the literature on the teaching of …

粒计算是近十年来计算机科学中一个非常活跃的研究领域. 本书由该领域知名的国内外华人学者
撰写, 分别对粒计算基础理论, 模型及典型应用等进行了深入的讨论. 内容涉及粒计算思想与方法 …

The paper focuses on the parallels, which are rooted in the simultaneous development of
mathematics and informatics. Both mathematics and informatics are based on problem …

In this paper I describe a local instructional theory for supporting the guided reinvention of
the group and isomorphism concepts. This instructional theory takes the form of a sequence …