Algorithms II is typically a mathematical proof class about algorithms. At my university, it was used as a filter class, and quite demanding. I think it was also 4 credits.