Premium
Why computer science students find formal reasoning frightening
Author(s) -
Fung P.,
O'Shea T.,
Goldson D.,
Reeves S.,
Bornat R.
Publication year - 1994
Publication title -
journal of computer assisted learning
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.583
H-Index - 93
eISSN - 1365-2729
pISSN - 0266-4909
DOI - 10.1111/j.1365-2729.1994.tb00299.x
Subject(s) - notation , mathematics education , computer science , mathematical notation , logical reasoning , selection (genetic algorithm) , formal science , formal education , population , formal methods , psychology , pedagogy , artificial intelligence , linguistics , sociology , mathematics , programming language , philosophy , geometry , demography
This paper focuses on difficulties which first‐year undergraduate computer science students experience in learning formal reasoning techniques. The main findings from an empirical investigation are reported. These indicated that, in the student population studied, many of those difficulties stemmed from a combination of the mathematical content of the courses and the students' unfamiliarity with formal notations and language. The paper concludes by discussing a selection of computer‐based tools which have been selected to address these difficulties.