Project 1b

FAQ Page

Due: Tuesday, October 17th, 5PM

Submit: In class or to box outside Tomas' office (32-G492)

Materials

• The project assignment (Task 1 revised slightly Oct 3, 6pm; Task 6 revised Oct 9, 12:20am).
• The Resolution-Refutation Proof Checker (jarfile)
• The project files:
  
  • nurse.txt
  • blocks.txt
  • equip1.txt
  • equip2.txt
    

  Important clarifications:

  1. Any time you provide a printout of an assignment, also include a description of it in English (or a diagram, or something).
  2. If a question asks you to provide an assignment, you do not need to provide _all_ assignments. One will do.
  3. Yes, the extra credit is worth actual points. (Note that an "extra credit" problem is distinct from a "bonus challenge!")
  4. This is an individual assignment.

  Suggestions:

  1. The axioms look quite a bit more readable when the .txt files are opened, than they do when they are loaded into the proof checker. Keep this in mind when you are building a strategy for solving a proof.
  2. If you are saving/loading the proofs as you work on them, you should be sure to Output Proof the proof as well as saving them. Output Proof will write the proof in a human-readable format.