Overall class was not too difficult, and lecturer was clearly vested in student learning/success. Concepts could get quite theoretical however, and while homework/tests were focused much more heavily on practical proof-writing and symbolizations and whatnot, some of the philosophy behind the problems could be incredibly difficult to understand, and lecture notes were not too helpful in this regard. Overall, would recommend this class.