Programming Languages (CS302 2005S)

Class 06: SOP: Boolean Reasoning

Back to Basics of Programming Language Design. On to Scheme 1: Reading the Scheme Report.

Held: Friday, February 4, 2005

Summary: Today we begin to consider mechanisms for Boolean proof.

Related Pages:

Due

Assignments

Notes:

Overview:

Proof and Reasoning

Back to Basics of Programming Language Design. On to Scheme 1: Reading the Scheme Report.

Disclaimer: I usually create these pages on the fly, which means that I rarely proofread them and they may contain bad grammar and incorrect details. It also means that I tend to update them regularly (see the history for more details). Feel free to contact me with any suggestions for changes.

This document was generated by Siteweaver on Wed Mar 2 11:39:12 2005.
The source to the document was last modified on Tue Jan 25 12:37:37 2005.
This document may be found at http://www.cs.grinnell.edu/~rebelsky/Courses/CS302/2005S/Outlines/outline.06.html.

You may wish to validate this document's HTML ; Valid CSS! ; Check with Bobby

Samuel A. Rebelsky, rebelsky@grinnell.edu