Abstract
Teaching formal methods in software construction has often been a concern of several computer science educators. In our opinion, the origin of most of the difficulties in learning formal methods in computer science and software engineering does not lie in computer science courses but in the mathematical background of the students. Moreover, there are numerous obstacles to learning basic concepts noted by both computer science and mathematics educators. To change this situation it is necessary to integrate the work of mathematics and computer science educators. That is, the main focus should be the creation of new educational approachs nourished by two components: a theoretical one (formally introducing discrete mathematics concepts) and an experimental one (implementing those concepts in a suitable programming language). In this paper, using examples from a discrete mathematics course for high school teachers, we describe the main characteristics of our approach.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
