Explores coordination and scheduling in operating systems, covering lost wakeup problems, scheduling algorithms, and coordination primitives like sleep and wakeup.
Covers quotients in abelian groups and the concept of free abelian groups, showing that every abelian group is isomorphic to a quotient of a free abelian group.
