Explanatory item response models (EIRMs) have been applied to investigate the effects of person covariates, item covariates, and their interactions in the fields of reading education and psycholinguistics. In practice, it is often assumed that the relationships between the covariates and the logit transformation of item response probability are…

Explanatory item response models (EIRMs) have been applied to investigate the effects of person covariates, item covariates, and their interactions in the fields of reading education and psycholinguistics. In practice, it is often assumed that the relationships between the covariates and the logit transformation of item response probability are…

The automatic code generation is the process of generating source code snippets from a program, i.e., code for generating code. Its importance lies in facilitating software development, particularly important is helping in the implementation of software designs such as engineering diagrams, in such a case, automatic code generation copes with the…

Background: The ability to translate concrete manipulatives into abstract mathematical formulas can aid in the solving of mathematical word problems among students, and metacognitive prompts play a significant role in enhancing this process. Aims: Based on the concept of semantic congruence, we explored the effects of metacognitive prompts and…

In the context of an analytical geometry, this study considers the mathematical understanding and activity of seven students analyzed simultaneously through two knowledge frameworks: (1) the Van Hiele levels (Van Hiele, 1986, 1999) and register and domain knowledge (Hibert, 1988); and (2) three action frameworks: the SOLO taxonomy (Biggs, 1999;…

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…

Automatic processing of mathematical information on the web imposes some difficulties. This paper presents a novel technique for automatic generation of mathematical equations semantic and Arabic translation on the web. The proposed system facilitates unambiguous representation of mathematical equations by correlating equations to their known…

We present an analysis of students' formal constructions in mathematics regarding to syntactic, semantic and pragmatic aspects. The analyzed tasks correspond to students of the Course of Mathematics for the admission to the university. Our study was qualitative, consisted in the identification, analysis and interpretation, focused in logic…

This article discusses a variety of examples in errors in mathematical reasoning, the source of which is due to the tension between the syntax (form of mathematical expression) and semantics (underlying ideas or meaning). This article suggests that the heightened awareness of syntactic and semantic reasoning, and the consequent resolution of the…

Online discussion forums provide open workspace allowing learners to share information, exchange ideas, address problems and discuss on specific themes. But the substantial impediment to its promotion as effective e-learning facility lies in the continuously increasing messages but with discrete and incoherent structure as well as the loosely-tied…