COT-3100

There WILL be a quiz next week. Please prepare by going over relations. Know how to proove if a relation is reflexive, symmetric and transitive. Take a look at this link.

LAB PROBLEMS:

RESOURCES:

• Induction Problems
• The laws of logic
• Set Theory Laws
• Rules of Inference
• Suggested problems
  • Solutions
• Foundation Exam problems:
  • 2001-2003

• Homework 1 due 02/10/2005
  • Solutions
• Homework 2 solutions

ONLINE RESOURCES

• Mathematical Induction
• Base conversion
• Truth tables and CS
• As we go on through the semester I will post additional resources