Day 6: mat385

Today:

• Hand in homework 1.4.

• Return homework 1.3.
  • Problem 6

    Please do note that existential quantifiers and implications are dangerous!

  • Problem 13

    Typical problem: "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 discussion of the temporary hypothesis from a student