| 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
|
| 2024-03-09 | Final Project Guidelines
|
| 2024-03-03 | Week08 -- Error-correcting codes
|
| 2024-02-26 | Week07 -- Error-correcting codes
|
| 2024-02-21 | Week06 -- Error-correcting codes
|
| 2024-02-14 | Resources: conda, sage-math, and jupyter
|
| 2024-02-12 | Week05 -- conclusion of rep theory;
begin error-correcting codes
|
| 2024-02-05 | Week04 -- Characters
|
| 2024-02-01 | Linear algebra!!
|
| 2024-01-17 | Week03 -- Irreducible representations
|
| 2024-01-17 | Week02 -- Representations; complete reducibility
|
| 2024-01-17 | Week01 -- Groups and linear algebra
|
| 2024-01-07 | Resources: References for the course
|
| 2024-01-01 | Resources: Gradescope
|
| 2024-01-01 | Resources: Expectations and Rubrics
|
| 2024-01-01 | Resources: LaTeX
|
| 2023-10-23 | Quick overview of the course |