Class Meetings:
Instructor: Dr.
Hyunyoung Lee
Office: HRBB 414B
Office Hours:
M 11:00am-12:15pm and R 2:15-3:00pm;
other times by appointment, please send email
Email: hlee @ cse.tamu.edu
Office Phone: (979) 845-2490
Teaching Assistant:
Pulakesh Upadhyaya
Office: 526 HRBB
Office Hours: MW 1:00-3:00pm and
TRF 9:00-11:00am;
other times by appointment, please send email
Email:
pulakesh@tamu.edu
Peer Teachers:
T Aug 27 | Syllabus; Introduction; Propositional Logic |
R Aug 29 | Propositional Logic (Cont.) |
Reading | Textbook Sections 1.1-1.6 |
T Sep 3 | Predicate Logic and Rules of Inference |
R Sep 5 |
Predicate Logic and Rules of Inference (Cont.);
Quiz 1 on Propositional Logic and Predicate Logic |
Reading |
Textbook Chapter 1 all sections. Short notes on proof by contrapositive and proof by contradiction |
T Sep 10 | Proof Techniques; Sets and Functions |
R Sep 12 |
Sets and Functions (Cont.); Quiz 2 on Rules of Inference and Proofs |
Reading | Ch 2: 2.1, 2.2, 2.3 and 2.5 |
T Sep 17 | Sets and Functions (Cont.) |
R Sep 19 |
Time
Complexity of Algorithms; Quiz 3 on Sets and Functions |
Reading | Ch 2: Sections 2.5, 3.2 and 3.3 (read 3.1 as background information) |