CS 200  Spring 2017
Mathematical Foundations of Computing
Announcements
 Peer tutoring
 Thursdays 68pm, Sundays+Mondays 79pm
in the MBH 6th floor east lounge.
 Midterm Exam

The midterm exam will be a 75minute paperandpencil exam, with no
computers or devices allowed. The exam will cover all material
up through and including Tuesday March 21. You are encouraged
to prepare a single sheet of study notes (doublesided,
8.5"x11") that you may use during the exam.
If
you qualify for extra time, make arrangements with me
ahead of time.
You are
encouraged to work through the Sample Midterm
Questions.
and consult the provided partial sample
solutions.
Professor Briggs will have office hours this week
Monday 3/20 11am2pm,
Tuesday 3/21 12:302pm,
and Wednesday 3/22 12:302pm.
Assignments
 Homework 1, due Tuesday, 2/21.
Solutions.
 Homework 2, due Tuesday, 2/28.
Solutions.
 Homework 3, due Tuesday, 3/7.
Solutions.
 Homework 4, due Tuesday, 3/14.
Solutions.
 Homework 5, due Tuesday, 3/21.
Solutions.
 Midterm exam, Thursday 3/23 in class.
Practice problems (not due).
Partial Solutions.
 Homework 7, due Tuesday, 4/11.
Solutions.
 Homework 8, due Tuesday, 4/18.
Solutions.
 Homework 9, due Tuesday, 4/25.
Solutions.
 Homework 10, due Tuesday, 5/2.
Solutions.
 Homework 11, due Tuesday, 5/9.
Solutions.
 Final exam,
selfscheduled.
Final
exam practice.
Solutions.
Lectures & Readings
 Tues 2/14  Course introduction, Sets.
Exercises.
Proof 1.11.9.
Attendance.
 Thurs 2/16  Propositional logic.
Exercises.
Proof 2.12.6.
Attendance.
 Tues 2/21  Predicate logic.
Exercises.
More exercises.
Rosen 1.41.5.
Proof 2.72.12.
HW1 due.
 Thurs 2/23 
Proof techniques,
arguments.
Rosen 1.71.8.
[Proof Chaps 49.]
Attendance.
 Tues 2/28  Growth of functions.
Rosen 3.13.2.
HW2 due.
Program submission.
 Thurs 3/2  Complexity of algorithms.
Rosen 3.3.
 Tues 3/7  Proof by Induction.
Examples.
Rosen 5.1.
HW3 due.
 Thurs 3/9  More proof by induction.
Rosen 5.25.4.
[Proof Chap 10.]
 Tues 3/14  Number Theory.
Code examples.
Rosen 4.14.3.
HW4 due.
 Thurs 3/16  Cryptography.
Rosen 4.6.
 Tues 3/21  Review.
Practice problems.
Partial Solutions.
HW5 due
(use submit script twice).
 Thurs 3/23  Midterm in class.
 Tues 4/4  Counting.
Rosen 6.16.2.
 Thurs 4/6  Permutations and combinations.
Examples.
Rosen 6.36.5.
HW7 due.
 Tues 4/11  Probability.
Rosen 7.17.2.
 Thurs 4/13  Recurrence relations.
Rosen 8.18.3.
HW8 due.
 Tues 4/18  Relations, Equivalence Relations.
Rosen 9.19.5.
 Thurs 4/20  Graphs.
Rosen 10.110.4.
HW9 due.
 Tues 4/25  Graphs algorithms, P vs NP.
Rosen 10.510.8.
 Thurs 4/27  Trees, Spanning Trees.
Rosen 11.111.5.
HW10 due.
 Tues 5/2  Finite state machines.
Rosen 13.3.
 Thurs 5/4  ContextFree Grammars.
Rosen 13.1.
 Tues 5/9  Turing machines and computability.
Rosen 13.5.
Notes on complexity.
HW11 due.
 Thurs 5/11  Course wrapup.
Final exam will be
selfscheduled.