Publication Date
In 2025 | 0 |
Since 2024 | 0 |
Since 2021 (last 5 years) | 2 |
Since 2016 (last 10 years) | 2 |
Since 2006 (last 20 years) | 3 |
Descriptor
Author
Aleven, Vincent | 1 |
Belenky, Daniel M. | 1 |
Julien Brasseur | 1 |
Kwon, Yeil | 1 |
Laurent Cervoni | 1 |
Olsen, Jennifer K. | 1 |
Ringenberg, Michael | 1 |
Rummel, Nikol | 1 |
Sahin, Nesrin | 1 |
Sewall, Jonathan | 1 |
Yusuf, Mian Muhammad | 1 |
More ▼ |
Publication Type
Speeches/Meeting Papers | 4 |
Reports - Descriptive | 2 |
Reports - Evaluative | 1 |
Reports - Research | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Laurent Cervoni; Julien Brasseur – International Association for Development of the Information Society, 2022
A Prolog program consists of a set of facts and rules rather than imperative statements, commonly used in most other programming languages. Therefore, the Prolog language is used to encode logic, from which the inference engine deduces logical conclusions. In this article, we argue that the use of the Prolog language can be useful to help students…
Descriptors: Teaching Methods, Mathematics Instruction, Problem Solving, Programming Languages
Kwon, Yeil; Sahin, Nesrin – International Society for Technology, Education, and Science, 2021
Probability is generally considered one of the most challenging areas to teach in mathematics education due to its intricate nature. However, the simulation-based teaching method can increase students' accessibility significantly to the probability problems because it enables students to resolve the problems with minimal mathematical skills. By…
Descriptors: Probability, Mathematics Instruction, Difficulty Level, Teaching Methods
Olsen, Jennifer K.; Belenky, Daniel M.; Aleven, Vincent; Rummel, Nikol; Sewall, Jonathan; Ringenberg, Michael – Grantee Submission, 2013
Authoring tools for Intelligent Tutoring System (ITS) have been shown to decrease the amount of time that it takes to develop an ITS. However, most of these tools currently do not extend to collaborative ITSs. In this paper, we illustrate an extension to the Cognitive Tutor Authoring Tools (CTAT) to allow for development of collaborative ITSs that…
Descriptors: Intelligent Tutoring Systems, Programming Languages, Fractions, Learning Processes
Yusuf, Mian Muhammad – 1997
The objective of this study was to investigate the effects of Logo Mathematics Tutorial Two (LMT2) for teaching polygons to minority students. The polygons were chosen to develop a sound foundation for further knowledge and exploration in geometry. The subjects (N=23) were middle and high school students that were trained using LMT2. The subjects…
Descriptors: Computer Uses in Education, Concept Formation, Educational Strategies, Elementary Secondary Education