CS 317 Discrete Information Structures
Fall 2009
MW 11:00-11:50 pm
Instructor: Christine Cheng
EMS 1011 x5170
Office hours: Mondays 1:00-2:00pm, Tuesdays 10:30-11:30am or by appointment.
Schedule
- 09/02/09: Logic (Sec. 1.1). Propositional equivalences via truth tables and identities (Sec. 1.2). Handout 1.
- 09/09/09: Propositional equivalences via identities cont'd. Predicates and quantifiers (Sec. 1.3). Handout 2.
Homework 1, due 9/16 (Wed).
- 09/14/09: Nested Quantifiers (Sec.1.4). Intro to rules of inference Handout 3.
- 09/16/09: Rules of inference (Sec. 1.5).
Homework 2, due 9/23 (Wed).
- 09/21/09: Rules of inference cont'd. Proofs (Sec. 1.6.) Handout 4.
- 09/23/09: Proofs cont'd.
Homework 3, due 9/30 (Wed).
- 09/28/09: Sets (Sec. 2.1). Handout 5.
- 09/30/09: Sets cont'd (Sec. 2.2).
Homework 4, due 10/7 (Wed).
- 10/5/09: Functions (Sec. 2.3). Handout 6.
- 10/7/09: Functions cont'd.
Homework 5, due 10/14 (Wed).
- 10/12/09: Functions cont'd. Mathematical Induction (Sec. 4.1). Handout 7.
- 10/14/09: Mathematical induction cont'd.
- Midterm I is scheduled for October 19 (M). The coverage . Sample Exam. Here's another one. You are allowed to have one sheet of regular-sized paper as a "cheat sheet".
- 10/21/09: Intro to counting. Handout 8.
Homework 6, (a short one!) due 10/28 (Wed).
- 10/26/09: Magic tricks. Counting cont'd.
- 10/28/09: More counting.
Homework 7, due 11/4 (Wed).
- 11/02/09: Generalized permutations and combinations.
- 11/04/09: Circular arrangements. Intro to probability (Sec. 6.1, 6.2). Handout 9.
Homework 8, due 11/11 (Wed)
- 11/09/09: Conditional probabilities and independence.
- 11/11/09: Random variables and expectations. Handout 10.
Homework 9, due 11/18 (Wed)
- 11/16/09: More on expectations.
- 11/18/09: Distributions of random variables. Variance.
Homework 10, due 11/25 (Wed) noon. Note this homework is optional.
- 11/23/09: Review of sample exam.
- Exam II is scheduled for November 30 (M). The coverage . You are allowed to have one sheet of regular-sized paper as a "cheat sheet".
Christine Cheng
Last modified: Mon Nov 23 12:16:29 CST 2009