mathcs
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.




Syllabi and Schedules

Exam Related

Homework Assignments





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 RatersWorksheet 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, 20M 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




Slide Presentations

Links of Interest


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