Publication Date
| In 2025 | 0 |
| Since 2024 | 0 |
| Since 2021 (last 5 years) | 0 |
| Since 2016 (last 10 years) | 0 |
| Since 2006 (last 20 years) | 1 |
Descriptor
| Computer Science Education | 1 |
| Computer Software | 1 |
| Computer Uses in Education | 1 |
| Introductory Courses | 1 |
| Logical Thinking | 1 |
| Programming Languages | 1 |
| Semantics | 1 |
| Teaching Methods | 1 |
| Undergraduate Study | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Descriptive | 1 |
Education Level
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Download full textMauco, María Virginia; Ferrante, Enzo; Felice, Laura – Information Systems Education Journal, 2014
Basic courses on logic are common in most computer science curricula. Students often have difficulties in handling formalisms and getting familiar with them. Educational software helps to motivate and improve the teaching-learning processes. Therefore, incorporating these kinds of tools becomes important, because they contribute to gaining…
Descriptors: Computer Software, Computer Uses in Education, Logical Thinking, Introductory Courses
