MATH 245, Spring 2010, Handouts


Handouts

Math for programming
Logical equivalences
Some initial proofs
Solutions to initial proofs
Proofs in 2.1 and 2.2
How to get CNF in Maple
Maple syntax and operations
Solutions to selected problems on weekly homework 1
Third proof handout
Section 4.1 problems
Section 4.3 problems
Relations and functions problems
Relations, lecture (taken from the Internet)
Functions, lecture (also taken from the Internet)
Combinatorics
Test 2 review topics
Test 2 review problems
Test 2
Graph theory problems
Test 3


Handouts and quizzes (and problems meant to be given as quizzes)

Quiz 1
Quiz, February 22
Quiz, March 3
Test 1
Test 1 supplement
Quiz, induction
Braille problem