 |
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 Courses
Syllabus
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
beseme@cs.ou.edu
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.
|
|
