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: 4861458 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 multiplequantified 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  Midterm Exam 1  
10/04  Discussion solutions to midterm exam 1, and continue on divisibility and unique factorization of integers theorem  HW 3 is out today  
7  10/09  Lecture on Quotientremainder 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  Midterm 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/1012/14  Final Exam Week 