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