[obrisani korisnik]
Nisam učio iz tih knjiga, ali sam imao problema s istom stvari koja i tebe muči (i još uvijek imam).
Za početak, odlično je to što želiš bolje savladat gradivo. To se stvarno isplati, čak i ako ti gradivo kasnije ne koristi, naučiš se mislit, a to je strašno overlooked stvar (kod studenata, bolje firme to iznimno cijene).
Konkretno za matematike, ja sam stvari koje su me dodatno zanimale jednostavno googlao. Imaš stranice poput proofwiki, math stack exchange, etc. Bilo bi puno bolje da imaš konkretnu knjigu koja se cjelokupnim gradivom bavi na razini koju ti želiš. Npr, za mat1 bi morao proći Spivaka/Rudina (iako je ovo stvarno jako detaljno, vjv postoje lakše knjige), za linalg1 je idealna “Linear algebra done right”. Ali kad pogledaš opseg tih knjiga, shvatiš da nema teorije da ih prođeš u jednom semestru (pogotovo uz sve druge predmete). Zato sam ja uvijek te stvari koje su dane bez dokaza tražio ciljano (i kad me baš zanimalo).
S druge strane, ne bi bilo loše uzet si jedan predmet koji stvarno želiš naučiti tako detaljno. Npr, ja bi sugerirao Uvod u teoriju računarstva (iz knjige Introduction to theory of computation, M. Sipser), ako te to zanima. Knjiga je apsolutni overkill za UTR, ali će ti dati znanja (i još važnije spsobonost apstrakcije) koja će ti down the road biti neprocjenjiva.