# Fall2012_discrete_math

COURSE SYLLABUS AND OUTLINE
CSE 2500 (Section 001)

INTRODUCTION TO DISCRETE SYSTEMS

 LECTURE: CB 202, Tue/Thu 12:30pm — 1:45pm INSTRUCTOR: Jinbo Bi Phone: 486-1458 Email: jinbo@engr.uconn.edu Office hours: Thu. 2:30 pm — 3:15pm or by appointment Office: ITEB 233 TEACHING ASSISTANT: Xian Shao Phone: Email: xis12005@engr.uconn.edu Office hours: Tue. 2 — 3pm or by appointment Office: ITEB 215

The course syllabus can be found here.

COURSE SCHEDULE AND ANNOUCEMENTS

 Week Date Lecture Notes HW Announcement 1 8/27 Introduction 8/30 Lecture on general introduction to variables, mathematical statements, sets 2 9/04 Lecture on general introduction to relations, functions compound statements logic form and logic equivalence 9/06 Lecture on logic equivalence, conditional statements HW 1 is out 3 9/11 Lecture on Valid and invalid arguments and Rules of inference 9/13 Lecture on quantified statements predicates, truth set, universal, existential and universal conditional statements, new connectives, and negations of quantified statements 4 9/18 Lecture on contrapositive, converse and inverse statements of a conditional statements, negations of multiple-quantified statements, arguments with quantified statements 9/20 Lecture on arguments with quantified statements, universal modus ponens and modus tollens, lecture on number theory – introduction HW 2 is out today HW 1 is due today before the class starts, HW1 solutions will be posed to HuskyCT on 9/21/2012 5 9/25 Lecture on various methods of proof (proving or disproving existential or universal statements) 9/27 Lecture on definitions of even, odd, prime, composite, rational, irrational and divisibility HW 2 is due today and solutions are posed to HuskyCT on 9/28/2012 6 10/02 Mid-term Exam 1 10/04 Discussion solutions to mid-term exam 1, and continue on divisibility and unique factorization of integers theorem HW 3 is out today 7 10/09 Lecture on Quotient-remainder theorem, method of proof by division into cases, definitions of absolute value, floor and ceiling 10/11 Lecture on properties of floor, ceiling, and introduction of methods of proof by contradiction and contraposition 8 10/16 Lecture on comparison of methods of proof by contradiction or contraposition, HW 3 is due today, and solutions will be posed to HuskyCT on 10/17/2012 10/18 Lecture on sequences, and introduction to mathematical induction, examples of the proof 9 10/23 Lecture on mathematical induction and examples of the proof HW 4 is out today 10/25 10 10/30 11/01 HW 4 is due today, and solution will be posed to HuskyCT on 11/02 11 11/06 Mid-term Exam 2 11/08 HW 5 is out today 12 11/13 11/15 HW 5 is due today, and solution will be posed to HuskyCT on 11/16 13 11/27 11/29 HW 6 is out today 14 12/04 12/06 Tentative schedule: Review of course materials HW 6 is due today, and solution will be posed to HuskyCT on the same day of the last class. No late HW will be accepted. 15 12/10-12/14 Final Exam Week