If you are just learning results and not proofs, I wouldn't really call that a "math" course.
If you are learning proofs, it is going to be a bit of a slog in the way that CS50, etc. can avoid.
If you are learning proofs, it is going to be a bit of a slog in the way that CS50, etc. can avoid.
It'd be like if the first time you encountered the concept of an "essay" was when you took a history course in college. You'd have a rough time just understanding how to do the homework.
Formal logic is usually introduced in calculus and discrete math courses. Arguably though it could stand on its own especially if it was taught using modern computer proof assistants, which make the "structuring" of even fairly complex proofs very clear.