Everything You Always Wanted To Know About Mathematics* (*But didn’t even know to ask) — большой учебник по абстрактной математике, теоремам и построению доказательств.Книга постепенно учит математическому мышлению: как читать определения, работать с логикой, понимать структуру доказательств и самостоятельно их писать.
Хороший вариант для программистов, ML-инженеров и всех, кто чувствует, что математическая база есть, но доказательства и абстракции до сих пор выглядят слишком непривычно.
PDF:
math.cmu.edu/~jmackey/151_128/bws_book.pdf
