course-overview.md

---

title   : Quick overview of the course
date    : 2023-10-23

---

• Math 190 Topics in Algebra.

  As a quick summary, I plan to cover three different components; each component should last about 4 weeks (8 lectures):

  • linear representations of finite groups

  • error correcting codes

  • formalization of mathematics

  In fact, you can see the (proposed) schedule of lectures here