Simulations of one architecture by another. There will be many examples discussed, including some which arise in engineering and physics applications. Emphasis will be placed on developing intuitions and learning to use calculations to verify and prove theorems. It treats some of the same material from a more abstract and topological perspective and introduces more general notions of curvature and covariant derivative for spaces of any dimension. Physics courses in general relativity and gauge theory will use some of the material of this course.
Emphasis is on concepts and calculation.
The official prerequisite is ample preparation. There is a mix of proofs, calculations, and applications with the emphasis depending somewhat on the instructor. A previous proof-oriented course is helpful but by no means necessary. EECS 400 is the same course.