====== Week 3 ======

~~NOTOC~~


==== Tuesday ====

  * Coaching schedule is posted, see the sidebar.
  * Homework(s)
  * Conditional, biconditional statements again: if α then β with α == false and β == false --> if α then β == true
  * More on power sets
  * exercise 1.4.2 (3) (Let's write the truth table and create a Venn diagram together)
  * Some scheme/DrRacket constructs that will help for our...
  * Lab this evening \\ \\
 **Lectures**
 
  * {{ :courses:cs145-201951:05.pptx | Today's Lecture}}
  * [[https://www.youtube.com/watch?v=fZsWrusH41I|Possibly the best commercial from Sunday]]

 **Homework**

  * Part 1,From Makinson, p24 exercise 1.4 part b. Due one week from today, Feb.12.
    * True or False: the power set of (A AND B) = the power set of A and the power set of B... provide proof or counter example.
  * Part 2. More to come.

==== Thursday ====

    * {{ :courses:cs145-201951:06-relations.pptx | Today's lecture: Relations}}
    * Homework, Part 2. Both parts are due on Tuesday, February 12. Part 1 should be hand written and handed in before class. Part 2 can be emailed to me before the end of the day.
      * {{ :courses:cs145-201951:asmt-helper.scm | The helper file}} 
      * {{ :courses:cs145-201951:powerset-template.rkt |The Template File}}