Functional programs are easier to reason about than programs that use mutable variables. This strength makes functional programs an attractive starting point for educators who want to increase the exposure of their students to the practice of applying mathematical logic in the software development process. Finding a place in the curriculum for this material is not always easy, but discrete mathematics courses have some advantages that computing educators may want to exploit. The Beseme Project has developed lectures notes, homework projects, examination questions, software tools, and other materials targeting discrete mathematics courses. The materials are freely available and accessible through the internet.

About Rex L. Page

Rex Page has worked in academia and industry, in about equal measure, for just over three decades. Now on the Computer Science faculty at OU, he plans to establish a BS in SE with a solid grounding in theory.

Tuesday, May 15 at 10:30am in DH 1049

A reception will be held BEFORE the talk at 10:15 in DH 1049.