Ideally: CS458, but you do not need it.
I have tried to make this material
as independent as possible from CS458.
I will fill in background information as necessary in
the lectures.
The course will be technical and theoretical and
course material will include both programming (simulation) and
theory (proving theorems)