Spring2012_discrete_math

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