Abstract
How to integrate mathematical thinking more fully into the computer science curriculum is a perennial problem for CS educators. A key part of that integration is designing the discrete math course so that its relevance to programming and software development is evident. A discrete math course that also introduces programming in the functional style provides an ideal context for this integration, as well as having additional curricular benefits. We report on our experience teaching a course on discrete mathematics and functional programming, give the outline for such a course, and survey the available resources.
Publisher
Association for Computing Machinery (ACM)
Subject
Education,General Computer Science
Reference26 articles.
1. The roles of mathematics in computer science
2. Beseme project; http://www.cs.ou.edu/~beseme/. Accessed 2016 July 5. Beseme project; http://www.cs.ou.edu/~beseme/. Accessed 2016 July 5.
3. We claim this class for computer science
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Disco: A Functional Programming Language for Discrete Mathematics;Electronic Proceedings in Theoretical Computer Science;2023-08-14
2. BJC Sparks;Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1;2023-03-02
3. Teaching Simple Constructive Proofs with Haskell Programs;Electronic Proceedings in Theoretical Computer Science;2022-07-26
4. Teaching and learning discrete mathematics;ZDM – Mathematics Education;2022-07-19
5. Programming to Learn;Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1;2022-07-07