Using A Functional Language To Teach Elements Of Formal Methods
Price
Free (open access)
Volume
7
Pages
8
Published
1994
Size
623 kb
Paper DOI
10.2495/SEHE940521
Copyright
WIT Press
Author(s)
M. Harman & S. Danicic
Abstract
Many software engineering students, although familiar with computing, have a very limited mathematical background. These students, new to mathematics, are often overwhelmed by the large number of new concepts and notations. There is a need for software support in teaching these students the basics of set theory and discrete mathematics. We have been teaching the functional language Hope[l] as a second programming language to degree students for the past nine years. Rather than re-inventing the wheel, we have simply tailored the built-in func- tions of Hope to provide students with a 'Mathematical Toolkit' which can be used as a programmable calculator whose basic operations include many standard oper- ati
Keywords