Math 145: Algebra (Fall 2021)

Instructor: David Jao
Office hours: Tue. & Thu. 12:00-1:30pm EDT in DC 2531

Teaching assistants

Dene Lepine	dlepine	Office hours: Mon. & Wed. 10:00-11:30am EDT in DC 2531
Nicole Kitt	nkitt	Office hours: Mon. & Fri. 9:00-10:00am EDT in gather.town (online)
Yash Vardhan Singh	yvsingh	Office hours: Thu. & Fri. 10:00-11:00am EDT in gather.town (online)

Announcements

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

Course materials

• Course outline (https://outline.uwaterloo.ca/view/1743)
• Course notes (https:../../math145/2021/MATH%20145.pdf)
• Coq reference sheet (https:../../wiki/images/0/0b/Coq-cheatsheet.pdf)
• Sample numerical problem and solution (https:../../wiki/images/f/fc/MATH145-2021-numerical_sample.pdf)

Assignments

Use this web page (https://djao.math.uwaterloo.ca/cgi-bin/upload.cgi) to submit all of your Coq assignments.

• Assignment 1 (PDF (https:../../math145/2021/a1.pdf), Coq (https:../../math145/2021/a1.v)), due Tuesday, September 14 at 11:59pm EDT.
• Assignment 2 (PDF (https:../../math145/2021/a2.pdf), Coq (https:../../math145/2021/a2.v)), due Tuesday, September 21 at 11:59pm EDT.
• Assignment 3 (PDF (https:../../math145/2021/a3.pdf), Coq (https:../../math145/2021/a3.v)), due Tuesday, September 28 at 11:59pm EDT.
• Assignment 4 (PDF (https:../../math145/2021/a4.pdf), Coq (https:../../math145/2021/a4.v)), due Tuesday, October 5 at 11:59pm EDT.
• Assignment 5 (PDF (https:../../math145/2021/a5.pdf), Coq (https:../../math145/2021/a5.v)), due Tuesday, October 19 at 11:59pm EDT.
• Assignment 6 (PDF (https:../../math145/2021/a6.pdf), Coq (https:../../math145/2021/a6.v)), due Tuesday, October 26 at 11:59pm EDT.
• Assignment 7 (PDF (https:../../math145/2021/a7.pdf), Coq (https:../../math145/2021/a7.v)), due Tuesday, November 2 at 11:59pm EDT.
• Assignment 8 (PDF (https:../../math145/2021/a8.pdf), Coq (https:../../math145/2021/a8.v)), due Tuesday, November 9 at 11:59pm EDT.
• Assignment 9 (PDF (https:../../math145/2021/a9.pdf), Coq (https:../../math145/2021/a9.v)), due Tuesday, November 16 at 11:59pm EDT.
• Assignment 10 (PDF (https:../../math145/2021/a10.pdf), Coq (https:../../math145/2021/a10.v)), due Tuesday, November 23 at 11:59pm EDT.
• Assignment 11 (Coq (https:../../math145/2021/a11.v)), due Tuesday, November 30 at 11:59pm EDT.
• Assignment 12 (PDF (https:../../math145/2021/a12.pdf)), due Tuesday, December 7 at 11:59pm EDT.