Not entirely. My CS undergrad featured a discrete math course that was almost exclusively boolean logic and proofs. The prerequisites of the course plan put it very early in a given CS students' schooling. I took it alongside our second CS intro course, where we taught C++ (with Python being in the first intro course).