APOS theory
I Arnon, J Cottrill, E Dubinsky, A Oktaç… - A framework for …, 2014 - Springer
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 …
students and young researchers in mathematics education. A few years ago, as a result of …
Unleashing the potential of abstraction from cloud of computational thinking: A systematic review of literature
NO Ezeamuzie, JSC Leung… - Journal of Educational …, 2022 - journals.sagepub.com
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 …
computational thinking, the roots of abstraction may be traced back to different fields. Hence …
Abstraction in computer science education: An overview
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 …
different fields, create software applications that support various needs, and design artefacts …
Student difficulty in constructing proofs: The need for strategic knowledge
K Weber - Educational studies in mathematics, 2001 - Springer
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 …
importance, students have great difficulty with this task. In this paper, I first demonstrate that …
Is abstraction the key to computing?
J Kramer - Communications of the ACM, 2007 - dl.acm.org
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 …
Why is it that some software engineers and computer scientists are able to produce clear …
Semantic and syntactic proof productions
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 …
proof. We define a syntactic proof production to occur when the prover draws inferences by …
Collegiate mathematics teaching in proof-based courses: What we now know and what we have yet to learn
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 …
undergraduate mathematics. In this paper we synthesize the literature on the teaching of …
[图书][B] 粒计算: 过去, 现在与展望
苗夺谦, 王国胤, 刘清, 林早阳, 姚一豫 - 2007 - ecsponline.com
粒计算是近十年来计算机科学中一个非常活跃的研究领域. 本书由该领域知名的国内外华人学者
撰写, 分别对粒计算基础理论, 模型及典型应用等进行了深入的讨论. 内容涉及粒计算思想与方法 …
撰写, 分别对粒计算基础理论, 模型及典型应用等进行了深入的讨论. 内容涉及粒计算思想与方法 …
Computational thinking in primary school: An examination of abstraction and decomposition in different age groups
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 …
mathematics and informatics. Both mathematics and informatics are based on problem …
A local instructional theory for the guided reinvention of the group and isomorphism concepts
SP Larsen - The Journal of Mathematical Behavior, 2013 - Elsevier
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 …
the group and isomorphism concepts. This instructional theory takes the form of a sequence …