There are two battles you fight at this level of abstraction in mathematics. The first is trying to understand the mathematics and how to use it in applications and in further theoretical development of the subject. The second is communicating your understanding in proper, logically correct form to a second party, ie, writing a formal proof. Often students will win the first battle and really understand the mathematics and how the proof should go. It is the second battle, effective formal communication, that usually causes the student problems. Sometimes the student doesn't understand the need for the formal proof communicated with correct syntax and reasoning. Part of what I hope to do is to help you understand why it is so important to master this skill of formal, logical communication. If you can understand the need for the formality and syntactical correctness, you can become motivated to work hard at developing your proof-writing skills---and it is a skill. It is a special language of acceptable communication of very abstract concepts and ideas, just what is needed to get a computer to work with real information and data, and just what is needed to analyse algorithms to assure their correctness. Just talk to any of the teachers of the computer science courses listed above to get a feel for the requirements of those courses for this abstract, formal reasoning and communication.