Has our curriculum become math-phobic? (an American perspective)
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
Striving for mathematical thinking
ACM SIGCSE Bulletin
Using automated reasoning to connect mathematics with computer science: conference workshop
Journal of Computing Sciences in Colleges
On the role of proofs in a course on design and analysis of algorithms
ITiCSE-WGR '06 Working group reports on ITiCSE on Innovation and technology in computer science education
Using an automated reasoning program as a CS application in discrete mathematics
Journal of Computing Sciences in Colleges
Hi-index | 0.01 |
Our ITiCSE 2002 working group 'Materials Development in Support of Mathematical Thinking' identified the development of an on-line repository as the best mechanism for organizing and disseminating materials promoting mathematical thinking in computer science education.