CSE 2500 (Section 001)




CB 202, Tue/Thu 12:30pm — 1:45pm



Jinbo Bi

Phone: 486-1458

Email: jinbo@engr.uconn.edu

Office hours: Thu. 2:30 pm — 3:15pm

or by appointment

Office: ITEB 233


Xian Shao


Email: xis12005@engr.uconn.edu

Office hours: Tue. 2 — 3pm

or by appointment

Office: ITEB 215


The course syllabus can be found here.




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 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