Publications and Reports
Beseme Summary Slide (PDF 253KB)
Beseme Outcomes (1 page - PDF 99KB)
Beseme Project Overview (17 slides - PPT 4138KB or PDF
Software Is Discrete Mathematics
(8 pages - PDF 284KB
streaming video login)
Functional Programming ... and where you can put it (6 pages - PDF 49KB)
Engineering Software Correctness (8 pages -
ACL2 in DrScheme
(10 pages -
Syllabus, Schedule, and Reading Assignments
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.
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.
The syllabus is presented in Adobe Acrobat Reader
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
Lectures are presented in both
Microsoft PowerPoint (PPT) format
and Adobe Acrobat Reader formats.