[CSUSB] >> [CompSci] >> [Dick Botting] >> [CS656/556 Course Materials] >> class/03
[Index] || [Contents] || [Grades] Mon Mar 3 14:43:01 PST 2003
Proofs
Assigned work due. #5 in exs1.1 pp5..6

Motivation
   We can use P->Q to specify requirements
        Example DiscountsR'Us
            http://www.csci.csusb.edu/dick/cs656/discounts.html
        Applying rules to a particular case.
        Later
              Proving completeness?
              Proving consistency?
              Calculations?

Chapter 1.2
   Natural Deduction Proofs
   Exercises 1.2, 1.3, 1.4, 1.5, 1.6
   Examples TBA on Board


How I write formal documents
  handout

lab: Experiment with my notation and the HuthRyan logic
http://www.csci.csusb.edu/dick/cs556/maths.mth
http://www.csci.csusb.edu/dick/cs556/maths.html
http://www.csci.csusb.edu/dick/cs556/logic.html
    ~/dick/bin/meth2html FileName.mth


Assigned work due next time
       Ex1.6.2b: Prove not(not p or not q) |- p and q using Natural
	Deduction (Use book notation or course www site notation).

Next: syntax ch 1.3 xbnf handout



http://www.csci.csusb.edu/dick/cs656/class/04.html