In this paper, we propose a potential interactional explanation of tertiary-to-secondary (dis)continuity: that of authority relations. Using secondary mathematics teachers' proof validations across two contexts, we suggest that secondary teachers' conceptions of authority shape their capacity to reconcile their positions as former mathematics…

The relevance of the research is due to additional opportunities to improve the quality of teaching mathematics in a digital school, support professional orientation and self-determination of young people through the inclusion of mobile services and platforms in mathematical activities. The research problem is determined by the following…

The African Data Initiative started as a crowd-sourced campaign to improve the teaching of statistics in African universities. The analysis of climate data provides one suitable context to illustrate ideas that lead to a radical new form of teaching. The problem within the context comes first, the technicalities are largely reduced -- mathematics…

Mathematical reasoning in logical context has now received much attention in the mathematics curriculum documents of many countries, including Indonesia. In Indonesia, students start formally learning about logic when they pursue to senior-high school. Before, they previously have many experiences to deal with logic, but the earlier assignments do…

The discrete Fourier series is a valuable tool developed and used by mathematicians and engineers alike. One of the most prominent applications is signal processing. Usually, it is important that the signals be transmitted fast, for example, when transmitting images over large distances such as between the moon and the earth or when generating…

The article combines a theoretical approach to structuring knowledge that is based on the integrated use of fuzzy semantic network theory predicates, Boolean functions, theory of complexity of network structures and some practical aspects to be considered in the distance learning at the university. The paper proposes a methodological approach that…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

In this article, we develop a theoretical model for restructuring mathematical tasks, usually considered advanced, with a network of spatial visual representations designed to support geometric reasoning for learners of disparate ages, stages, strengths, and preparation. Through our geometric reworking of the well-known "open box…

This study examines how collective activity related to multiplication evolved over several class sessions in an elementary mathematics content course that was designed to foster prospective elementary teachers' number-sense development. We document how the class drew on as-if-shared ideas to make sense of multidigit multiplication in terms of…

A teacher that emphasizes reasoning, logic and validity gives their students access to mathematics as an effective way of practicing critical thinking. All students have the ability to enhance and expand their critical thinking when learning mathematics. Students can develop this ability when confronting mathematical problems, identifying possible…

Mathematical teaching in Thai tertiary education still employs traditional methods of explanation and the use of rules, formulae, and theories in order for students to memorize and apply to their mathematical learning. This results in students' inability to concretely learn, fully comprehend and understand mathematical concepts and practice. In…

This article gives an elementary proof of the famous identity [image omitted]. Using nothing more than freshman calculus, the present proof is far simpler than many existing ones. This result also leads directly to Euler's and Neville's identities, as well as the identity [image omitted].

Fuzzy logic, which is based on fuzzy sets theory introduced by Zadeh in 1965, provides a rich and meaningful addition to standard logic. The applications which may be generated from or adapted to fuzzy logic are wide-ranging and provide the opportunity for modeling under conditions which are imprecisely defined. In this article we develop a fuzzy…

Quantitative literacy has been recognized as an important skill in the higher education and workforce communities, focusing on problem solving, reasoning, and real-world application. As a result, there is a need by various stakeholders in higher education and workforce communities to evaluate whether college students receive sufficient training on…

These proceedings contain the papers of the 16th International Conference on Cognition and Exploratory Learning in the Digital Age (CELDA 2019), held during November 7-9, 2019, which has been organized by the International Association for Development of the Information Society (IADIS) and co-organised by University Degli Studi di Cagliari, Italy.…