CS 102 - Spring 2007

Mathematical Foundations of Computing

• Professor: Amy Briggs
• Course information
• Students

Announcements

Final exam is Thursday, May 17, 7-10PM in MBH 438. You may bring three 8.5"x11" double-sided sheets of notes to the exam.

Fall 2007 courses to consider next include:

• CSCI 201 - Data Structures, MWF 9:05-9:55
• CSCI 202 - Computer Architecture, MWF 11:15-12:05
• CSCI 301 - Theory of Computation, TR 9:30-10:45
• CSCI 311 - Artificial Intelligence, MWF 1:45-2:35
• CSCI 431 - Computer Networks, TR 11:00-12:15

Previous announcements

Assignments

1. Assignment 1, due Friday, 2/16. Solutions.
2. Assignment 2, due Wednesday, 2/21. Solutions.
3. Assignment 3, due Friday, 3/2. Solutions.
4. Assignment 4, due Wednesday, 3/7. Solutions.
5. Assignment 5, due Monday, 3/12. Solutions.
6. Assignment 6, due Wednesday, 3/21. Solutions.
7. Assignment 7, due Wednesday, 4/4. Solutions.
8. Assignment 8, due Wednesday, 4/11. Solutions.
9. Assignment 9, due Monday, 4/16. Solutions.
10. Assignment 10, due Wednesday, 4/25.
11. Assignment 11, due Wednesday, 5/2. Solutions.
12. Assignment 12, due Friday, 5/11.

Lectures & Readings

1. Mon 2/12 - Course introduction, Propositional Logic. Rosen 1.1-1.2.
2. Wed 2/14 - Predicate Logic. Rosen 1.3-1.4.
3. Fri 2/16 - Methods of Proof. Rosen 1.5-1.7. Homework 1 due.
4. Mon 2/19 - Sets and Set Operations. Rosen 2.1-2.2.
5. Wed 2/21 - Functions and Algorithms. Rosen 2.3, 3.1. Homework 2 due.
6. Mon 2/26 - Algorithmic Complexity. Rosen 3.2-3.3.
7. Wed 2/28 - Integers and Division, Integers and Algorithms. Rosen 3.4-3.6.
8. Fri 3/2 - Linear Congruences; Chinese Remainder Theorem. Rosen 3.7. Homework 3 due.
9. Mon 3/5 - Public Key Cryptography. Rosen 3.7.
10. Wed 3/7 - Mathematical Proofs; Sequences and Summations. Rosen 1.7, 2.4. Homework 4 due.
11. Fri 3/9 - Mathematical Proofs and Induction. Rosen 4.1-4.2.
12. Mon 3/12 - Midterm Review; Recursive Definitions and Algorithms. Rosen 4.3-4.4. Homework 5 due.
    Tues 3/13 - Midterm 1, 7:30-9:30 PM, on material through Friday, 3/9. Sample Midterm 1 and Solutions.
13. Wed 3/14 - Counting; Pigeonhole Principle. Rosen 5.1-5.2.
14. Fri 3/16 - Permutations and Combinations; Binomial Coefficients. Rosen 5.3-5.4.
15. Mon 3/19 - Generalized Permutations and Combinations; Discrete Probability. Rosen 5.5, 6.1.
16. Wed 3/21 - Probability Theory. Rosen 6.2. Homework 6 due.
17. Fri 3/23 - Applications of Probability. Rosen 6.2, 6.4.
18. Mon 4/2 - Recurrence Relations. Rosen 7.1.
19. Wed 4/4 - Divide and Conquer. Rosen 7.3. Homework 7 due.
20. Fri 4/6 - Solving Recurrence Relations. Rosen 7.3.
21. Mon 4/9 - Relations: Properties, Closures, Equivalence Relations. Rosen 8.1, 8.4-8.6.
22. Wed 4/11 - n-ary Relations, Representing Relations. Rosen 8.2-8.3. Homework 8 due.
23. Fri 4/13 - No class - attend the CS Seminar and/or the Spring Student Symposium.
24. Mon 4/16 - Midterm Review, Graphs: Examples and Terminology. Rosen 9.1-9.2. Homework 9 due.
    Tues 4/17 - Midterm 2, 7:30-9:30 PM, on material through Wednesday, 4/11. Sample Midterm 2 and Solutions.
25. Wed 4/18 - Graph Isomorphism. Rosen 9.3-9.4.
26. Fri 4/20 - No class.
27. Mon 4/23 - Euler and Hamiltonian Paths. Rosen 9.5.
28. Wed 4/25 - Single-Source Shortest Paths. Rosen 9.6. Homework 10 due.
29. Fri 4/27 - Planar Graphs; Graph Coloring. Rosen 9.7-9.8.
30. Mon 4/30 - Trees and their properties; Tree Traversal. Rosen 10.1-10.3.
31. Wed 5/2 - Game Trees; Spanning Trees; Minimal Spanning Trees. Rosen 10.2, 10.4-10.5. Homework 11 due.
32. Fri 5/4 - Return and go over Midterm 2; Depth-first search; Breadth-first search. Rosen 10.4.
33. Mon 5/7 - Grammars; Regular Sets; Finite State Machines. Rosen 12.1-12.3.
34. Wed 5/9 - Non-deterministic Finite State Automata; Turing Machines; Computability (Links) Rosen 12.3, 12.5.
35. Fri 5/11 - Course Summary. Homework 12 due.
    Thurs 5/17 - Final exam, 7-10 PM, in MBH 438.