Day 6: mat385

Today:

• Hand in homework 1.4.

• Return homework 1.3.
  • Problems 3 and 9

  • Typical problems:
    • Please do note that existential quantifiers and implications are dangerous,
    • as are universal quantifiers and conjunctions.
    • watch "all" for "only"

• Section 1.5: Logic Programming

• Problems from section 1.5 homework:
  • What happens if eat(fish,bear)? Trace execution of in-food-chain(bear,X) using this demo file for SWI-Prolog using text Example 39, p. 64, and adding the statement "eat(fish,bear)".

• Section 2.1: Proof Techniques

Links:

• A Simpler Proof of the Four Color Theorem?
• An email exchange concerning the temporary hypothesis from a student of days gone by....