CS 102 - Spring 2005

Mathematical Foundations of Computing


Announcements

May 2 - 6

Previous announcements

Exams

  1. Midterm 1: Tuesday March 8, 7:30-9:30 PM in MBH 438. Sample Midterm 1. Solutions.
  2. Midterm 2: Tuesday April 12, 7:30-9:30 PM in MBH 438. Sample Midterm 2. Solutions.
  3. Final: Tuesday May 10, 9AM-noon in MBH 538.

Assignments

  1. Assignment 1, due Friday, 2/11. Solutions.
  2. Assignment 2, due Wednesday, 2/16. Solutions.
  3. Assignment 3, due Wednesday, 2/23. Solutions.
  4. Assignment 4, due Wednesday, 3/2. Solutions.
  5. Assignment 5, due Monday, 3/7. Solutions.
  6. Assignment 6, due Wednesday, 3/16. Solutions.
  7. Assignment 7, due Wednesday, 3/30. Solutions.
  8. Assignment 8, due Wednesday, 4/6. Solutions.
  9. Assignment 9, due Monday, 4/11. Solutions.
  10. Assignment 10, due Wednesday, 4/20.
  11. Assignment 11, due Wednesday, 4/27.
  12. Assignment 12, due Friday, 5/6.

Lectures & Readings

  1. Mon 2/7 - Course introduction, Propositional Logic. Rosen 1.1-1.2.
  2. Wed 2/9 - Predicate Logic. Rosen 1.3-1.4.
  3. Fri 2/11 - Methods of Proof. Rosen 1.5. Homework 1 due.
  4. Mon 2/14 - Sets and Set Operations. Rosen 1.6-1.7.
  5. Wed 2/16 - Functions and Algorithms. Rosen 1.8, 2.1. Homework 2 due.
  6. Fri 2/18 - Algorithmic Complexity. Rosen 2.2-2.3.
  7. Mon 2/21 - Integers and Division, Integers and Algorithms. Rosen 2.4-2.5.
  8. Wed 2/23 - Linear Congruences; Chinese Remainder Theorem. Rosen 2.6. Homework 3 due.
  9. Mon 2/28 - Public Key Cryptography. Rosen 2.6.
  10. Wed 3/2 - Mathematical Proofs; Sequences and Summations. Rosen 3.1-3.2. Homework 4 due.
  11. Fri 3/4 - Mathematical Proofs and Induction. Rosen 3.1-3.3.
  12. Mon 3/7 - Midterm Review. Homework 5 due.
    Tues 3/8 - Midterm 1, 7:30-9:30 PM, on material through Friday, 3/4. Sample Midterm 1 and Solutions.
  13. Wed 3/9 - Recursive Definitions and Algorithms; Counting. Rosen 3.4-3.5, 4.1.
  14. Fri 3/11 - Pigeonhole Principle; Permutations and Combinations. Rosen 4.2-4.3.
  15. Mon 3/14 - Binomial Coefficients; Generalized Permutations and Combinations. Rosen 4.4-4.5.
  16. Wed 3/16 - Discrete Probability. Rosen 5.1. Homework 6 due.
  17. Fri 3/18 - Probability Theory. Rosen 5.2.
  18. Mon 3/28 - Applications of Probability. Rosen 5.2-5.3.
  19. Wed 3/30 - Recurrence Relations. Rosen 6.1. Homework 7 due.
  20. Fri 4/1 - Divide and Conquer. Rosen 6.3.
  21. Mon 4/4 - Relations and their Properties; Representing Relations. Rosen 7.1-7.3.
  22. Wed 4/6 - Closures of Relations. Rosen 7.4. Homework 8 due.
  23. Fri 4/8 - Equivalence Relations. Rosen 7.5.
  24. Mon 4/11 - Midterm Review. Homework 9 due.
    Tues 4/12 - Midterm 2, 7:30-9:30 PM, on material through Friday, 4/8. Sample Midterm 2 and Solutions.
  25. Wed 4/13 - Graphs: Examples and Terminology. Rosen 8.1-8.2.
  26. Fri 4/15 - Graph Isomorphism. Rosen 8.3-8.4.
  27. Mon 4/18 - Euler and Hamilton Paths. Rosen 8.5.
  28. Wed 4/20 - Single-Source Shortest Paths. Rosen 8.6. Homework 10 due.
  29. Fri 4/22 - Planar Graphs; Graph Coloring. Rosen 8.7-8.8.
  30. Mon 4/25 - Return and go over Midterm 2.
  31. Wed 4/27 - Trees and their properties; Tree Traversal. Rosen 9.1-9.3. Homework 11 due.
  32. Fri 4/29 - Game Trees; Spanning Trees; Minimal Spanning Trees. Rosen 9.2, 9.4-9.5.
  33. Mon 5/2 - Depth-first search; Breadth-first search; Grammars. Rosen 9.4, 11.1.
  34. Wed 5/2 - Finite State Machines; Regular Sets; Non-deterministic Finite State Automata. Rosen 11.2-11.3.
  35. Fri 5/6 - Turing Machines; Course Summary. Rosen 11.5. Homework 12 due.
    Tues 5/10 - Final exam 9AM-noon in MBH 538.