Math 145: Algebra (Fall 2019)

Instructor: David Jao
Office hours: T 12:00-2:00pm (DC 2531), Th 12:30-2:00pm (MC 5032), F 2:15-3:15pm (MC 5032), or by appointment

Teaching assistants

Wilson Poulter	wrppoult	MC 5011	Office hours: M 1:30-2:30pm
Dan Ursu	dursu	MC 5017	Office hours: T 11:45-12:45pm
Andrej Vukovic	avukovic	MC 5404	Office hours: TTh 11:30-12:30pm

Announcements

Please join the discussion forum on Piazza (https://piazza.com/uwaterloo.ca/fall2019/math145) for assistance with the course, discussions of assignment problems and administrative issues.

The midterm examination is scheduled to take place on Saturday, October 5 from 1:00pm to 3:00pm in DC 1350.

Course materials

• Course outline (https:../../wiki/images/d/d3/MATH145-2019-outline.pdf)
• Coq reference sheet (https:../../wiki/images/0/0b/Coq-cheatsheet.pdf)
• Midterm examination file (https:../../math145/2019/midterm_p.v)
• Final examination practice (https:../../wiki/images/4/4a/MATH145-2019-final.pdf) (2 pages, 55 problems in total).

Assignments

• Assignment 0 (https:../../math145/2019/a0.pdf), due Friday, September 6 at 10:30am
• Assignment 1 (PDF (https:../../math145/2019/a1.pdf), Coq (https:../../math145/2019/a1.v)), due Wednesday, September 11 at 10:30am on LEARN.
• Assignment 2 (Coq (https:../../math145/2019/a2.v)), due Wednesday, September 18 at 10:30am on LEARN.
• Assignment 3 (Coq (https:../../math145/2019/a3.v)), due Wednesday, September 25 at 10:30am on LEARN.
• Assignment 4 (Coq (https:../../math145/2019/a4.v)), due Wednesday, October 2 at 10:30am on LEARN.
• Assignment 5 (PDF (https:../../wiki/images/8/83/MATH145-2019-a5.pdf), Coq (https:../../math145/2019/a5.v)), due Friday, October 11 at 10:30am. Coq proofs must be submitted on LEARN; other problems may be submitted in hard copy in class or on LEARN. Refer to the PDF for the full assignment; the Coq file contains only a subset of the assignment. See also sample problem with solution (https:../../wiki/images/c/c5/MATH145-2019-a5_sample.pdf).
• Assignment 6 (PDF (https:../../wiki/images/b/b1/MATH145-2019-a6.pdf), Coq (https:../../math145/2019/a6.v)), due Wednesday, October 23 at 10:30am. Coq proofs must be submitted on LEARN; other problems may be submitted in hard copy in class or on LEARN.
• Assignment 7 (PDF (https:../../wiki/images/4/45/MATH145-2019-a7.pdf), Coq (https:../../math145/2019/a7.v)), due Wednesday, October 30 at 10:30am. Coq proofs must be submitted on LEARN; other problems may be submitted in hard copy in class or on LEARN.
• Assignment 8 (PDF (https:../../wiki/images/7/7d/MATH145-2019-a8.pdf), Coq (https:../../math145/2019/a8.v)), due Wednesday, November 6 at 10:30am. Coq proofs must be submitted on LEARN; other problems may be submitted in hard copy in class or on LEARN.
• Assignment 9 (PDF (https:../../wiki/images/d/de/MATH145-2019-a9.pdf), Coq (https:../../math145/2019/a9.v)), due Wednesday, November 13 at 10:30am. Coq proofs must be submitted on LEARN; other problems may be submitted in hard copy in class or on LEARN.
• Assignment 10 (PDF (https:../../wiki/images/0/04/MATH145-2019-a10.pdf), Coq (https:../../math145/2019/a10.v)), due Wednesday, November 20 at 10:30am. Coq proofs must be submitted on LEARN; other problems may be submitted in hard copy in class or on LEARN.
• Assignment 11 (PDF (https:../../wiki/images/1/16/MATH145-2019-a11.pdf), Coq (https:../../math145/2019/a11.v)), due Wednesday, November 27 at 10:30am. Coq proofs must be submitted on LEARN; other problems may be submitted in hard copy in class or on LEARN.

Lecture materials

• 2019-09-06 (https:../../math145/2019/a1_20190906.v)
• 2019-09-09 (https:../../math145/2019/a1_20190909.v)
• 2019-09-13 (https:../../math145/2019/a2_20190913.v)
• 2019-09-16 (https:../../math145/2019/a2_20190916.v)
• 2019-09-20 (https:../../math145/2019/a3_20190920.v)
• 2019-09-24 (https:../../math145/2019/a3_20190924.v)
• 2019-09-27 (https:../../math145/2019/a4_20190927.v)
• 2019-10-04 (https:../../math145/2019/midterm_20191004.v)
• 2019-10-08 (https:../../math145/2019/midterm_20191008.v)
• 2019-10-09 (https:../../math145/2019/a6_20191009.v)
• 2019-10-25 (https:../../math145/2019/midterm_20191025.v)