Если нужно действительно понимание:
Задачи и теоремы из анализа. ( В 2-х частях ) Георг Полиа, Габор Сеге
Книга-задачник, где задачи подобраны так чтоб на основании предыдущих следующая была решаема. Принципиально то, что весь курс высшей алгебры и функционального анализа выводиться сам из этих задач.
Подобное изучение — это не «тебя учат» а «познаешь сам». Уровень понимания существенно выше.
Нужно правда понимать, что это книги начала прошлого века. Некоторые вещи тогда читались под другим углом, но то как эти книги воспитывают мозг стоит того.
Если нужна понятная книга:
Курс дифференциального и интегрального исчисления, Фихтенгольц 3 тома
Курс математического анализа. В 3 томах. Кудрявцев тоже 3 тома.
Обе книги имеют подробное скрупулезное описание дифференциального и интегрального исчислений. Написаны в разных стилях, некоторым нравиться один, некоторым второй.
Общего курса дискретной математики мне не известно. В МФТИ учат одно, друзья на мехмати и ВМК учат другое.
Я бы посоветовал
Н.К. Верещагин, А.Шень. «Лекции по математической логике и теории алгоритмов» — хорошее вступление в дискретку
Ахо, Ульман — Теория синтаксического анализа перевода и компиляции. — как устроены первые этапы работы компилятора. За этим целая наука.
Да и вообще все книги где в авторах есть Ахо и Ульман меня радовали. например
Ахо, Ульман, «Компиляторы. Принципы, технологии, инструментарий» — лучшая известная мне книга по компиляторам(уже сама генерация кода).
У последних двух оригинал на английском.