Teaching The Foundations For Formality
Price
Free (open access)
Volume
7
Pages
7
Published
1994
Size
690 kb
Paper DOI
10.2495/SEHE940481
Copyright
WIT Press
Author(s)
L.R. Neal
Abstract
This paper describes the recent integration of teaching material in the areas of discrete mathematics, logic and specification within an integrated first level semester teaching programme for honours degree students on main- stream computing courses. The modules cater for one hundred and fifty students with diverse backgrounds ranging from scientific and mathemati- cal A-levels through BTEC computing and business awards to those from mature and access routes. The material is organised into self-paced units, with extensive tutorial support, but with few formal lectures. Students with weaker mathematical backgrounds can work through the material at their own pace whilst stronger students can be challenged through later more open-ended units. The approach is an attempt to bring together basic es- sential mathematical concepts, particularly in the discrete area, and to teach this material
Keywords