CS:23022 Discrete Structures for CS Spring 2016

MW 9:15 - 10:30 am @ LCM 101
Office Hours: MW 11AM-12PM @ MSB 352, and by appointment

In addition to my normal office hours, I will hold extended office hours on Friday 5/6 from 12-4PM in MSB 352

This schedule is not final. It may change.

Extra Credit

Homework

Quizzes

  • Quiz #1 on Wed 1/27 [1.1, 1.2]
  • Quiz #2 on Wed 2/3 [1.3, 1.4]
  • Quiz #3 on Mon 2/15 [1.5, 1.6]
  • Quiz #4 on Wed 2/24 [1.7, 1.8]
  • Quiz #5 on Mon 3/28 [2.3, 2.4]
  • Quiz #6 on Wed 4/6 [5.1, 5.3]
  • Quiz #7 on Wed 4/13 [6.1, 6.2]
  • Quiz #8 on Wed 4/20 [6.3, 6.4]
  • Quiz #9 on Wed 4/27 [7.1, 7.2, 7.4]
  • ...

Exams

  1. Midterm (Info)
    Wednesday, March 2nd 9:15-10:30am
    Topics
    : Propositional Logic, Applications of Prop. Logic, Propositional Equivalences, Predicates and Quantifiers, Nested Quantifiers, Rules of Inference, Intro to Proofs, Proof Methods and Strategy, Sets and Set Operations

  2. Final Exam (Info)
    Wednesday, May 11th 10:15-12:30pm
    Topics
    : Functions, Sequences and Summations, Mathematical Induction, Recursive Definitions and Structural Induction, Basics of Counting, Pigeonhole Principle, Permutations and Combinations, Binomial Coefficients, Discrete Probability, Probability Theory, Expected Value, Intro to Graphs and Trees

Tutoring

MW in MSB 243
Gilson Dos Santos, 5:30-8:30PM
David Carlyn, 7:00-10:00PM

Heather M. Michaud / hmichaud@kent.edu