Day 12: mat385

• Announcements
  • I'm collecting homework 2.5.

  • Your assignment over 2.6 is due Monday following our first exam.

  • The test this Wednesday will cover sections 1.1-1.4, and 2.1, 2.2, and 2.4.

  • Here are some old test 1s:
    • 2010 Fall Test 1 (2010 Fall Test 1 key)
    • 2009 Spring Test 1 (2009 Spring Test 1 key)
    • 2008 Spring Test 1 (2008 Spring Test 1 key)
    • 2008 Spring Test 1 (2008 Spring Test 1 key)
    • 2007 Fall Test 1 (2007 Fall Test 1 key)
    • 2006 Spring Test 1 (2006 Spring Test 1 key)
    • 2005 Spring Test 1 (2005 Spring Test 1 key)
    • 2003 Fall Test 1 (2003 Fall Test 1 key)
    • This was a one-hour exam (course took place 3 days per week): 2002 Fall Test 1 (2002 Fall Test 1 key)
    • 2002 Spring Test 1 (2002 Spring Test 1 key) Note: includes proof of correctness, which we no longer include.

  • For those of you thinking about a project (perhaps without success) let me propose another strategy: you can do a prolog project, like my students did last time. But your best grade you can achieve doing so will be an 85/100, because I'm tired of those!;)

• Questions on problems from the sections 1.1-2.4?

• Questions on problems from the sections 2.5-2.6?

• Questions on problems from the sections 3.1?

• Then we'll continue with section 3.1: Sets

Links:

• Venn diagram applet (shows all possible subsets using two sets and intersection, union, and complement)
• The Logic Diagrams Of John Venn
  • Venn's Symbolic Logic
• The Logic Diagrams Of Lewis Carroll
• Lewis Carroll's Logic