COURSE SYLLABUS AND OUTLINE
CSE 2500 (Section 002)

INTRODUCTION TO DISCRETE SYSTEMS

 

 

LECTURE:

ITEB 125, Tue/Thur 2:00pm 3:15pm

 

 

 

INSTRUCTOR:

            Jinbo Bi

            Phone: 486-1458

            Email: jinbo@engr.uconn.edu

            Office hours: Thur.  3 pm 5pm

                                   or by appointment

            Office: ITEB 233

SUBSTITUTE INSTRUCTOR

Greg Johnson

Phone:

Email: gjohnson@engr.uconn.edu

Office hours: Thurs. 10 am 12 noon

or by appointment

Temporary office: ITEB 140 (TA room)

TEACHING ASSISTANT:

            Arun Abraham

            Phone: 486-3654

            Email: arun.abraham@engr.uconn.edu

            Office hours: Wed. 11am noon

                                  or by appointment

            Office: ITEB 140

 

Please see the course syllabus here.

 

After Spring Break, please refer to the HuskyCT site for the course webpage and course updates.

 


 

COURSE SCHEDULE AND ANNOUCEMENTS

 

Week

Date

Lecture Notes

HW

Announcement

1

1/17

Introduction

 

 

1/19

Lecture on general introduction to variables, mathematical statements, sets

If my handwritten lecture notes are needed, please send an email 

2

1/24

Lecture on general introduction to relations, functions

compound statements logic form and logic equivalence

 

Please read Chap 1

1/26

Lecture on logic equivalence, conditional statements

HW 1 is out on 1/27

Please read Chap 2

3

1/31

Lecture on Valid and invalid arguments and Rules of inference

2/02

 Lecture on quantified statements predicates, truth set, universal, existential and universal conditional statements, and new connectives

 

Please read Chap 3 

4

2/07

 Lecture on negations of quantified statements, contrapositive, converse and inverse statements of a conditional statements, negations of multiple-quantified statements

HW 2 is out on 2/8 

HW 1 is due today before the class starts, HW1 solutions will be posed to HuskyCT on 2/08/2012

2/09

Lecture on arguments with quantified statements, universal modus ponens and modus tollens, lecture on number theory - introduction 

 

Please start to read Chap 4 

5

2/14

Lecture on various methods of proof (proving or disproving existential or universal statements) 

 

HW 1 is returned and grades are uploaded to HuskyCT 

2/16

Lecture on definitions of even, odd, prime, composite, rational, irrational and divisibility

 

HW 2 is due today before the class starts. HW2 solutions will be posed to HuskyCT on 2/17/2012 

6

2/21

Mid-term Exam 1  

Preparation hints will be sent through an email 

Exam 1 is a closed-book, closed-notes in-class exam (75 min)

2/23

 Discussion solutions to mid-term exam 1, and continue on divisibility and unique factorization of integers theorem

 

 

7

2/28

Lecture on Quotient-remainder theorem, method of proof by division into cases, definitions of absolute value, floor and ceiling 

HW 3 is out on 2/27 

 

3/01

Lecture on properties of floor, ceiling, and introduction of methods of proof by contradiction and contraposition 

 

 

8

3/06

Lecture on comparison of methods of proof by contradiction or contraposition, Lecture on sequences, and introduction to mathematical induction 

 

HW 3 is due today before the class starts 

3/08

Lecture on mathematical induction and examples of the proof 

HW 4 is out  

 

9

3/20

Tentative schedule: Chap 5.3, 5.4 

 

 

3/22

Tentative schedule: Chap 5.6  

 

10

3/27

Tentative schedule: Chap 5.7  

 HW 5 will be out

HW 4 is due today  

3/29

Tentative schedule: Chap 5.8  

 

 

11

4/03

Tentative schedule: Chap 6.1  

 

 

4/05

Mid-term Exam 2  

HW 6 will be out 

HW 5 will be due 

12

4/10

Tentative schedule: Chap 6.2

 

 

4/12

Tentative schedule: Chap 6.3  

 

 

13

4/17

Tentative schedule: Chap 7.1  

HW 7 will be out 

HW 6 will be due 

4/19

Tentative schedule: Chap 7.2  

 

 

14

4/24

Tentative schedule: Chap 8.1  

 

 

4/26

Tentative schedule: Chap 8.2 and Review of course materials  

 

HW 7 will be due 

15

4/30

Final Exam Week