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) | 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 |
Source
| Information Systems Education… | 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
