Course Information

Syllabus (pdf)

TAs

Hanzhao Li (hli31 (at) wm...) F 9:00-10:00 Ewell 254

Wenhan Lyu (wlyu (at) wm...) Tu 12:30- 1:30 MS 002


Overleaf

Information on LaTeX

LaTex Cheat Sheet

LaTeX Examples from Weilin Wang (Fall 2012):

Enumeration example: enumerate.tex, enumerate.pdf

Math example: math.tex, math.pdf

Table example: table.tex, table.pdf

Tower of Hanoi animation

Sorting Algorithms Animation

Class Schedule

All Homework is due on Wednesdays, except where noted

Test 1 is on Wednesday 3/5 and Test 2 is on Wednesday 4/16

Date	Lecture Topics	Sections	HW Assigned	HW Due
W 1/22	Introduction Full Propositional Logic Full	Rosen 1.1 - 1.2
M 1/27	Propositional Equivalences Full	Rosen 1.3	Homework 1 hw1.tex Circuit image
W 1/29	Predicates & Quantifiers Full	Rosen 1.4 - 1.5
M 2/3	Rules of Inference Full	Rosen 1.6	Homework 2 hw2.tex p3 example
W 2/5	Rules of Inference Full	Rosen 1.6	Homework 3 hw3.tex	Homework 1
M 2/10	Rules of Inference Full	Rosen 1.7 - 1.8		Homework 2
W 2/12	Sets and Functions Full	Rosen 2.1 - 2.3	Homework 4 hw4.tex	Homework 3
M 2/17	Sequences and Summations Full	Rosen 2.4 - 2.6
W 2/19	Algorithms Full	Rosen 3.1	Homework 5 hw5.tex	Homework 4
M 2/24	Algorithms Full	Rosen 3.2 - 3.3
W 3/1	Number Theory Full	Rosen 4.1 - 4.3	Homework 6 hw6.tex	Homework 5
M 3/3	Number Theory Full	Rosen 4.6
W 3/5	TEST 1
M 3/10	SPRING BREAK
W 3/12	SPRING BREAK
M 3/17	Mathematical Induction Full	Rosen 5.1 - 5.2
W 3/19	Mathematical Induction Full	Rosen 5.3 - 5.4	Homework 7 hw7.tex	Homework 6
M 3/24	Counting Full	Rosen 6.1 - 6.2
W 3/26	Permutations and Combinations Full	Rosen 6.3 - 6.6	Homework 8 hw8.tex	Homework 7
M 3/31	Discrete Probability Full	Rosen 7.1 - 7.2
W 4/2	Advanced Counting Full	Rosen 8.1 - 8.3	Homework 9 hw9.tex	Homework 8
M 4/7	Advanced Counting Full	Rosen 8.5 - 8.6
W 4/9	Relations Full	Rosen 9.1 - 9.3	Homework 10 hw10.tex	Homework 9
M 4/14	Relations Full	Rosen 9.4 - 9.6
W 4/16	TEST 2		Homework 11 hw11.tex	Homework 10 (Fri 5:00 pm)
M 4/21	Graphs Full	Rosen 10.1 - 10.3
W 4/23	Graphs Full	Rosen 10.4 - 10.5	Homework 12 hw12.tex	Homework 11
M 4/28	Trees	Rosen 11.1		Homework 12
W 4/30	Final Exam Review, Trees	Rosen 11.3 - 11.4
F 5/9	Section 2: FINAL EXAM 9:00 a.m. - 12:00 p.m.
Tu 5/13	Section 1: FINAL EXAM 2:00 p.m. - 5:00 p.m.