Como o @ user16764 faz alusão, em referência às ofertas específicas de cursos do MIT (6.042) , uma versão do que é normalmente chamada de matemática discreta , combinada com o cálculo no primeiro ano (universidade) são os principais requisitos para entender muitos algoritmos (básicos) e seus conhecimentos. análise.
Algoritmos especializados ou avançados podem exigir conhecimentos matemáticos adicionais ou avançados, como em estatística / probabilidade (programação científica e financeira), álgebra abstrata e teoria dos números (por exemplo, para criptografia).
Quando estudante, meu curso discreto de matemática tinha o livro Discrete Mathematics with Applications de Susanna Epp, e outro livro que encontrei na minha biblioteca foi Discrete Mathematics de Kenneth Ross e Charles Wright. Uma cópia usada de qualidade decente de um desses é provavelmente um local razoável para começar (com ou sem combinação com o MIT Open Course Ware, dependendo do seu estilo de aprendizado). Para o auto-estudo, muitas vezes acho que ter duas fontes para se referir pode ajudar a esclarecer pontos que estou tendo problemas para entender.
Uma alternativa que eu vi sugerida é a Concrete Mathematics , segunda edição de Ronald L. Graham, Donald E. Knuth e Oren Patashnik. Não consigo encontrar minha cópia no momento e não a trabalhei diligentemente, por isso não posso fazer uma recomendação a favor ou contra.
Do Prefácio:
Mas o que exatamente é a Matemática Concreta? É uma mistura de matemática contínua e discreta. Mais concretamente, é a manipulação controlada de fórmulas matemáticas, usando uma coleção de técnicas para resolver problemas.
Observarei os comentários de Bill the Lizard na entrada do blog "Os programadores de livros não leem realmente ". Pessoalmente, ainda acho os Algoritmos de Robert Sedgewick (agora 4a ed.) Menos intimidantes e mais acessíveis.
No que diz respeito à parte contínua (ou seja, números reais ) da matemática, o Calculus , de Stewart, parece ser um tomo frequentemente usado para dar palestras aos alunos sobre o esclarecimento resultante da diferenciação e integração.