Math 2345 - Discrete Mathematics

Fall 2013

Last updated November 30, 2013

Welcome to the web site for Mathematics 2345. You will find links to syllabi, schedules, worksheets, notes & slides, descriptions of programming project assignments, and files with the code needed for projects. There are also links to various sources of documentation.

Topic | Section | Problems | Due Date |

Propositional Logic | 1.1 | 1a-d, 3, 5a-e, 7e-g, 11, 13, 19, 23, 27a-d, 31a-d, 33ab, 37ab, 49, 51 | F 8/23 |

Prop. Equivalences | 1.2 | 5, 7, 9adf, 11adf, 17, 23, 25, 29, 55 | M 8/26 |

Logical Combinations | Worksheet 1 | Logical Combinations | W 8/28 |

Predicates, Quantifiers | 1.3 | 1, 7, 11, 15, 17a-d, 33, 37ab, 39abc, 51, 59 | F 8/30 |

Nested Quantifiers | 1.4 | 3a-d, 5a-e, 9a-g, 15a-d, 19a, 25ab, 27a-d, 29cd, 31ab, 33abc, 39 | W 9/4 |

Rules of Inference | 1.5 | 3, 5, 9a-d, 13, 15, 17, 19, 23, 27, 31 | F 9/6 |

Proof Practice 1 | Worksheet 2 | Proofs, Part I | W 9/11 |

Proof Practice 2 | Worksheet 3 | Proofs, Part II | F 9/13 |

Proofs | 1.6 | 1, 3, 5, 7, 9, 11, 15, 17, 21, 23, 27, 29 | M 9/16 |

Proof Methods | 1.7 | 3, 14, 17, 27, 36 | W 9/18 |

Sets | 2.1 | 5, 7, 9, 13, 16, 18, 19c, 22, 24 31 | F 9/20 |

Set Operations | 2.2 | 1, 3, 7, 13, 16abc, 27, 32, 47, 48a, 53 | M 9/23 |

Functions | 2.3 | 1, 9a-f, 12, 13, 17, 19abc, 28, 47(Proofs) | W 10/2 |

Sequences, Summations | 2.4 | 1, 2abc, 4, 7, 10ab, 13ab, 16ab, 17a, 29, 30, 31cd, 37(Proof) | F 10/4 |

Algorithms | 3.1 | 2ad, 7, 9, 12, 13, 14, 18 | M 10/7 |

Growth of Functions | 3.2 | 2abc, 3, 7a, 9, 14abc, a8, 24ab, 29 | W 10/9 |

Execution Times | Worksheet 4 | Comparisons of Running Times | M 10/14 |

Comparison of Fnc Growth Raters | Worksheet 5 | Comparison of Function Growth Rates | M 10/14 |

Algorithm Complexity | 3.3 | 2, 4 (justify), 7, 8 | W 10/16 |

Integers, Division | 3.4 | 4, 8, 9a-d, 12, 26, 35 | F 10/18 |

Primes, GCD | 3.5 | 4a-d, 5, 10, 13, 18, 21a-c, 26 | M 10/21 |

Integers, Algorithms | 3.6 | 1, 3a-c, 5a-c, 7, 9, 23a-d, 39 | W 10/23 |

Number Theory Apps | 3.7 | 1 | F 10/25 |

Mathematical Induction | 4.1 | Rewrite as summations, then prove by induction: 5, 7, 9, 11, 14, 20 | M 10/28 |

Induction Practice 1 | Worksheet 6 | Proofs, Part I | W 10/30 |

Induction Practice 2 | Worksheet 7 | Proofs, Part II | F 11/1 |

Induction Practice 3 | Worksheet 8 | Proofs, Part III | M 11/4 |

Strong Induction | 4.2 | 3, 4, 12 | W 11/6 |

Recursive Definitions | 4.3 | 1, 3ab, 8abc, 39 | W 11/13 |

Recursive Algorithms | 4.4 | 7, 8, 9, 15 | F 11/15 |

Program Correctness | 4.5 | 2, 4 | F 11/15 |

Ch. 4 Supplement | 329–331 | 2, 4, 6, 8, 32 | M 11/18 |

Recurrence Relations | 7.1 | 1a-c, 5a-c, 6a-c, 9a-c, 11, 14 | M 11/18 |

Solving RR’s - Pt 1 | 7.2 | 1a-e, 3a-c, 9, 12, 13, 14, 15, 19, 21 | W 11/20 |

Solving RR’s - Pt 3 | Worksheet 9 | Solving RR’s, Part 1 | F 11/22 |

Solving RR’s - Pt 4 | Worksheet 10 | Solving RR’s, Part II | M 12/2 |

Divide & Conquer | 7.3 | 2, 8a-c, 14, 16, 34, 36 | W 12/4 |

Boolean Functions | 11.1 | 1, 3, 5a-c, 9, 16, 18, 21 | F 12/6 |

Logic Gates | 11.3 | 1, 3, 5, 6a-c | F 12/6 |

- Week 1 slides handout In-class worksheet

- Week 2 slides handout

- Week 3 slides handout

- Week 4 slides handout

- Week 5 slides handout

- Week 6 slides handout

- Week 7 slides handout

- Week 8 slides handout

- Week 10 slides handout

- Week 12 slides handout

- Week 13 slides handout

- Week 15 slides handout

For feedback, please feel free to e-mail me. All materials copyright 2000–2013.