Descriptor
Publication Type
| Journal Articles | 2 |
| Reports - Descriptive | 1 |
| Reports - Research | 1 |
Education Level
| Higher Education | 2 |
| Postsecondary Education | 1 |
Audience
Location
| Israel | 2 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkGal-Ezer, Judith; Vilner, Tamar; Zur, Ela – Computer Science Education, 2004
Realizing the importance of teaching efficiency at early stages of the program of study in computer science (CS) on one hand, and the difficulties encountered when introducing this concept on the other, we advocate a different didactic approach in the introductory CS course (CS1). This paper describes the approach as it is used at the Open…
Descriptors: Foreign Countries, Computer Science Education, Introductory Courses, Efficiency
Dana-Picard, Thierry – International Journal for Technology in Mathematics Education, 2005
A mathematician's work consists of proving theorems, calculating, and making mathematics understandable. An assistant for all three components is a Computer Algebra System. We describe and discuss various CAS-assisted processes for proving theorems, and discuss the constraints which can appear regarding efficiency, confidence in the result and…
Descriptors: Algebra, Mathematics Instruction, Validity, Mathematical Logic
