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 



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 

