Request Login About Beseme Resource Preview Resource Login

Publications and Reports

  • Beseme Summary Slide (PDF 253KB)
  • Beseme Outcomes (1 page - PDF 99KB)
  • Beseme Project Overview (17 slides - PPT 4138KB or PDF 299KB)
  • Software Is Discrete Mathematics (8 pages - PDF 284KB or streaming video login)
  • Functional Programming ... and where you can put it (6 pages - PDF 49KB)
  • Engineering Software Correctness (8 pages - PDF 94KB)
  • ACL2 in DrScheme (10 pages - PDF)

Related Materials


Syllabus, Schedule, and Reading Assignments

Sample Lectures

Full Access to Teaching Materials

Instructors may all the teaching materials developed in the project, including lectures, homework, examinations, software tools, and the like, through login. The following link provides assistance in requesting a login account and password: Request Login Account

We'd Like to Hear from You

Contact us at if you need assistance with the Beseme Project materials. If you are able to use some them, we would appreciate knowing what you found useful. Suggestions for improvements are especially welcome.

Related Work

Projects with Related Goals

Beseme Project Goals

The Beseme Project seeks to provide teaching materials for instructors of discrete mathematics who want to incorporate into their courses concepts, principles, and practices facilitating the application of mathematical logic and reasoning to software products. Reports on the effects of using these materials, compared to teaching traditional discrete mathematics courses, on software development abilities of students, insofar as the project is able to measure and estimate those effects, will appear as the information becomes available.

NSF Support 

This material is based on work supported by the National Science Foundation under Grant No. 0082849. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation.

The syllabus is presented in Adobe Acrobat Reader (PDF).

Lectures are presented in both Microsoft PowerPoint (PPT) format and Adobe Acrobat Reader formats.

©2000-2001 Beseme Project - University of Oklahoma School of Computer Science
To report problems or give feedback, send e-mail to