WIT Press


Teaching The Foundations For Formality

Price

Free (open access)

Paper DOI

10.2495/SEHE940481

Volume

7

Pages

7

Published

1994

Size

690 kb

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