TR 2:45-4:00 in Lincoln 1135

Prof. Chen

8/12/2008: I've archived all of the notes and problem sets (ie, most of the links below don't work) and am only leaving up the syllabus for reference. If you're looking for the material, you may be able to find a link to a more recent offering of the class here or here.

No programming experience is required (or assumed). However, mathematical maturity (as evidenced by passing first semester calculus) and an interest in applications of math to computer science is a prerequisite.

The lectures are on Tuesdays and Thursdays from 2:45-4:00 in Lincoln 1135

Week | Date | In class | Assignment due | |
---|---|---|---|---|

1 | (Tue) 1/22 | introduction, administrivia, review | ||

(Thu) 1/24 | problem solving, proofs (part 1) triangles (1,2) | |||

2 | (Tue) 1/29 | propositional logic assorted related topics | ps1 | |

(Thu) 1/31 | circuits quantifiers, proofs (part 2) | |||

3 | (Tue) 2/5 | proofs (recap), induction | ps2 | |

(Thu) 2/7 | strong induction recurrences guess-and-check, substitution | |||

4 | (Tue) 2/12 | more on recurrences more on induction | ps3 | |

(Thu) 2/14 | algorithms (sorting dates) asymptotics | |||

5 | (Tue) 2/19 | review for midterm survey | ps4 | |

(Thu) 2/21 | Midterm | |||

6 | (Tue) 2/26 | introduction to sets diagonalization | ||

(Thu) 2/28 | counting: addition/multiplication rules, pigeonhole principle, inclusion-exclusion | |||

7 | (Tue) 3/4 | combinations and permutations introduction to probability | ps5 | |

(Thu) 3/6 | more probability conditional probability | |||

8 | (Tue) 3/11 | random variables expected value | ps6 | |

(Thu) 3/13 | *** class cancelled *** | |||

(Tue) 3/18 | *** no class: Spring Break *** | |||

(Thu) 3/20 | ||||

9 | (Tue) 3/25 | probability (review) compression | ps7 (optional) | |

(Thu) 3/27 | compression (II) tangents on images relations | |||

10 | (Tue) 4/1 | relations functions | ps8 | |

(Thu) 4/3 | numbers | |||

11 | (Tue) 4/8 | review for midterm | ps9 | |

(Thu) 4/10 | Midterm | |||

12 | (Tue) 4/15 | introduction to graphs article on citation analysis (pages 95-100) | ||

(Thu) 4/17 | subgraphs, Eulerian circuits | |||

13 | (Tue) 4/22 |
Hamiltonian cycles introduction to P/NP connectivity | ps10 | |

(Thu) 4/24 | planarity colorings | |||

14 | (Tue) 4/29 | trees, applications of graphs evaluations | ps11 | |

(Thu) 5/1 | Guest lecture by Dan Barcay '06 | |||

15 | (Tue) 5/6 | wrap-up, review for final | ps12 |

The final exam will be on Thursday, May 15 at 2PM.

"Computers do not solve problems, they execute solutions"

--Laurent Gasser