OMIGOSH I almost dropped out of the program bc of this class I HATED IT like most other cs students. It's probably the first hard class that you take as a first year. Not coding, but basically just translating mathematical logic into arcane symbols and proofs. I would recommend taking MATH 125 before this so that the proofs aren't such a slap in the face.