This paper introduces a technique that has been used successfully in University College Dublin,Ireland and Fudan University in Shanghai,China,to teach the formal aspects of computer programming to undergraduate studen...This paper introduces a technique that has been used successfully in University College Dublin,Ireland and Fudan University in Shanghai,China,to teach the formal aspects of computer programming to undergraduate students.The technique,name and conquer,relies on the use of modelling small mathematical domains and allowing the results of these models to form the basis for the programming task.展开更多
文摘This paper introduces a technique that has been used successfully in University College Dublin,Ireland and Fudan University in Shanghai,China,to teach the formal aspects of computer programming to undergraduate students.The technique,name and conquer,relies on the use of modelling small mathematical domains and allowing the results of these models to form the basis for the programming task.
