Results 221 to 230 of about 555,393 (246)
Some of the next articles are maybe not open access.
AL-Lisaniyyat, 2022
The aim of our paper is to present the Constructive Type Theory (CTT) and some related concepts for the Swedish logicianPer Martin Löf, who constructed a formal logic system in orderto establish a philosophical foundation of constructive mathematics.
Terkia Mechouet, Farid Zidani
semanticscholar +1 more source
The aim of our paper is to present the Constructive Type Theory (CTT) and some related concepts for the Swedish logicianPer Martin Löf, who constructed a formal logic system in orderto establish a philosophical foundation of constructive mathematics.
Terkia Mechouet, Farid Zidani
semanticscholar +1 more source
ZDM, 2019
This paper examines proof constructions in group work in the field of linear algebra teaching at the university level. Studies have shown that students at tertiary level have difficulties in understanding different kinds of quantifiers, which are fundamental in linear algebra proof constructions.
openaire +1 more source
This paper examines proof constructions in group work in the field of linear algebra teaching at the university level. Studies have shown that students at tertiary level have difficulties in understanding different kinds of quantifiers, which are fundamental in linear algebra proof constructions.
openaire +1 more source
2019
Two factors involved in producing quality research in mathematics education are discussed in this chapter: navigating the role of the self and engaging with others. These factors have the potential to motivate patience and persistence in a quest for quality while building from a researcher’s views of others’ ideas rather than being subsumed by them ...
openaire +1 more source
Two factors involved in producing quality research in mathematics education are discussed in this chapter: navigating the role of the self and engaging with others. These factors have the potential to motivate patience and persistence in a quest for quality while building from a researcher’s views of others’ ideas rather than being subsumed by them ...
openaire +1 more source
Education for Sustainable Development (ESD) in Mathematics Education: A Systematic Literature Review
Journal of EcohumanismEducation for Sustainable Development (ESD) is an effort to encourage people to be constructive and creative in facing global challenges and to create a resilient and sustainable society.
Sinatrya Nisa Budikusuma +3 more
semanticscholar +1 more source
Constructive mathematics and computer programming
Philosophical transactions of the Royal Society of London. Series A: Mathematical and physical sciences, 1984P. Martin-Löf
semanticscholar +2 more sources
Mathematical Practice 3: Construct Viable Arguments and Critique the Reasoning of Others
2023openaire +2 more sources
A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS
The Review of Symbolic Logic, 2012Mohammad Ardeshir, Rasoul Ramezanian
semanticscholar +1 more source
Admissible Ordering on Monomials is Well-Founded: A Constructive Proof
Programming and computer software, 2023S. Meshveliani
semanticscholar +1 more source
From sets and types to topology and analysis, 2005
Laura Crosilla, P. Schuster
semanticscholar +1 more source
Laura Crosilla, P. Schuster
semanticscholar +1 more source
Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA
, 1987D. Bridges, F. Richman
semanticscholar +1 more source