Topics in Algebra
Instructor: George McNinch
Recent course posts
| Date | Title |
|---|---|
| 2024-04-22 | Week14 & 15 |
| 2024-04-15 | Week13 |
| 2024-04-08 | Week12 -- Formalization of Math (Lean & Type theory) |
| 2024-04-01 | Week11 -- Formalization of Math |
| 2024-03-29 | PS07 - sage issues |
| 2024-03-25 | Week10 -- Formalization of Math |
| 2024-03-16 | Lean: some practical info |
| 2024-03-13 | Notes and Assignments (collected) |
| 2024-03-11 | Week09 -- cyclic codes & Reed-Solomon codes |
| 2024-03-09 | Final Project Recommendations |