Definitely the most mathy cs course till this point in a cs degree.

Focuses on formal logic and doing math with it. If you would prefer math to be more abstract, this is the course for you. The content in this course is not directly programming, but it does a good job of teaching you how to think in a provably logical way.

Prof James was great, although the lectures were recorded by Dr. Petty. Prof James was very available on the discord for the class, and would go to great lengths to explain any problems as long as it was not the night before an assignment was due.

Make sure you actually take notes, and don't be afraid to ask clarifying questions.

This was a tough class that ultimately is probably not useful for most people.

This was very difficult computer-science related math that realistically is probably useless.

Professor is kind of odd. You should email your homework on time to make sure it's not counted late in person. If you are 1 minute late in submitting homework, you are screwed - so don't do that. It's 50% of your grade.

Prepare for this to be a time-consuming, difficult class. I would recommend trying to avoid too many other difficult classes during the same semester.