Publication Date
| In 2026 | 0 |
| Since 2025 | 0 |
| Since 2022 (last 5 years) | 0 |
| Since 2017 (last 10 years) | 0 |
| Since 2007 (last 20 years) | 4 |
Descriptor
Source
| Acta Didactica Napocensia | 1 |
| Computer Assisted Language… | 1 |
| Computers & Education | 1 |
| International Group for the… | 1 |
| International Working Group… | 1 |
Author
| Calders, Toon | 1 |
| Conati, Cristina | 1 |
| Desmet, P. | 1 |
| Dougherty, Barbara J., Ed. | 1 |
| Hendriks, Maxim | 1 |
| Jochems, Wim | 1 |
| Kaliszyk, Cezary | 1 |
| Kirschner, Paul A. | 1 |
| Kreijns, Karel | 1 |
| Pateman, Neil A., Ed | 1 |
| Pechenizkiy, Mykola | 1 |
| More ▼ | |
Publication Type
| Journal Articles | 3 |
| Collected Works - Proceedings | 2 |
| Reports - Descriptive | 1 |
| Reports - Evaluative | 1 |
| Reports - Research | 1 |
| Tests/Questionnaires | 1 |
Education Level
| Higher Education | 2 |
| Postsecondary Education | 2 |
| Elementary Secondary Education | 1 |
Audience
Location
| Netherlands | 5 |
| South Africa | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Download full textHendriks, Maxim; Kaliszyk, Cezary; van Raamsdonk, Femke; Wiedijk, Freek – Acta Didactica Napocensia, 2010
This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the…
Descriptors: Logical Thinking, Teaching Methods, Validity, Undergraduate Students
Direct linkVandewaetere, M.; Desmet, P. – Computer Assisted Language Learning, 2009
The great majority of questionnaires measuring non-observable constructs such as attitude towards CALL are often developed from a specific point of view and are seldom followed by psychometrical validation. Psychometrical properties of the questionnaire, such as construct validity and reliability, then remain unanswered too often, laying a heavy…
Descriptors: Computer Assisted Instruction, Construct Validity, Psychometrics, Second Language Learning
Kreijns, Karel; Kirschner, Paul A.; Jochems, Wim; van Buuren, Hans – Computers & Education, 2007
Most asynchronous computer-supported collaborative learning (CSCL) environments can be characterized as "functional" environments because they focus on functional, task-specific support, often disregarding explicit support for the social (emotional) aspects of learning in groups which are acknowledged by many educational researchers to…
Descriptors: Measures (Individuals), Interpersonal Competence, Cooperation, Social Support Groups
Pechenizkiy, Mykola; Calders, Toon; Conati, Cristina; Ventura, Sebastian; Romero, Cristobal; Stamper, John – International Working Group on Educational Data Mining, 2011
The 4th International Conference on Educational Data Mining (EDM 2011) brings together researchers from computer science, education, psychology, psychometrics, and statistics to analyze large datasets to answer educational research questions. The conference, held in Eindhoven, The Netherlands, July 6-9, 2011, follows the three previous editions…
Descriptors: Academic Achievement, Logical Thinking, Profiles, Tutoring
Pateman, Neil A., Ed; Dougherty, Barbara J., Ed.; Zilliox, Joseph T., Ed. – International Group for the Psychology of Mathematics Education, 2003
This volume of the 27th International Group for the Psychology of Mathematics Education Conference includes the following research reports: (1) Improving Decimal Number Conception by Transfer from Fractions to Decimals (Irita Peled and Juhaina Awawdy Shahbari); (2) The Development of Student Teachers' Efficacy Beliefs in Mathematics during…
Descriptors: Student Teachers, Mathematics Education, Teacher Effectiveness, Metalinguistics
