Yeah, sounds like you're good re: Python. And 1300 will walk you through the C++ parts of the course, so you're ok there too.
Regarding 2824, have you done proofs before? Or, alternatively, have you taken a course in symbolic logic? Sometimes logic is taught through the philosophy department. Part of the reason 2824 is challenging is because so many students are new to symbolic logic, if statements (i.e. if this then than), counter-examples, proofs, etc. Learning logic takes *time* and practice...so the sooner you can get exposure to those concepts, the better.
I did a quick browse of Coursera just to see if there were some organised videos surrounding the topic. This one looked good:
https://www.coursera.org/learn/what-is-a-proof?specialization=discrete-mathematics#syllabus
It is also part of a specialisation, if that matters to you. I don't really put weight into the certs or specialisations from Coursera, personally. But the video content might help you. If you take the course, *I highly recommend you do example problems on paper while taking the course*. Get access to the solutions for problems. Practice them. Learn how to disprove something. Learn how to prove something. Learn how to express logic concepts using symbols (i.e. implications, for all, there exists, sets - union, intersection, an element in a set).