TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy
M. Simonot, M. Homps, P. Bonnot
2012
Abstract
Abstraction skill is difficult but essential when learning computer science and mathematics. In this paper, we present an experience from the Computer Science Department of IUT de Montreuil in which mathematics and computing teaching work together in order to provide abstract thinking skills to students. Our approach is to connect mathematics and software engineering through a computer-supported approach which uses - in mathematics and software engineering undergraduate courses- Alloy, a lightweight formal method from MIT. Alloy serves as a continuum from micro-modelling activities -used to enforce an abstract understanding of basic mathematic concepts- to real software modelling practice. It enables us to elaborate a kind of exploratory learning where students are actively engaged.
DownloadPaper Citation
in Harvard Style
Simonot M., Homps M. and Bonnot P. (2012). TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy . In Proceedings of the 4th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-8565-07-5, pages 239-245. DOI: 10.5220/0003898302390245
in Bibtex Style
@conference{csedu12,
author={M. Simonot and M. Homps and P. Bonnot},
title={TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy},
booktitle={Proceedings of the 4th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2012},
pages={239-245},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003898302390245},
isbn={978-989-8565-07-5},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 4th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy
SN - 978-989-8565-07-5
AU - Simonot M.
AU - Homps M.
AU - Bonnot P.
PY - 2012
SP - 239
EP - 245
DO - 10.5220/0003898302390245