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 |