If you need to really understand:
\rTasks and theorems from analysis. ( In 2 parts ) George polya, Gabor Szego
The book-an exercise book where tasks are chosen so that on the basis of previous next has been solved. It is important that the entire course of higher algebra and functional analysis displayed he of these tasks.
Such a study is not "you learn" and "know yourself." The level of understanding is significantly higher.
Really need to understand that it is books of the last century. Some things then read from a different angle, but that's how these books educate the brain worth it.
If you need a clear book:
\rA course of differential and integral calculus, fichtenholz 3 volumes
\rA course of mathematical analysis. In 3 volumes. Kudryavtsev also 3 vols.
Both books have a detailed thorough description of the differential and integral calculus. Written in different styles, some like one, some the second.
The General course of discrete mathematics I do not know. In MIPT teach one, friends on VMK mehmeti and learn more.
I would advise
\rN. To. Vereshchagin, A. Shen. "Lectures on mathematical logic and theory of algorithms" is a good entry into discrete
\rAho, Ullman — the Theory of parsing translation and compiling. — how does the first stages of the compiler. This is a science.
And indeed all the books where the authors have Aho and Ullman I was happy. for example
\rAho, Ullman, "Compilers. Principles, technologies, tools" is the best book I know on compilers(the code generation).
The last two of the original English.