El documento habla sobre los fundamentos de la programación y la algoritmia como una ciencia sustentada en modelos matemáticos. Explica que existen técnicas ampliamente estudiadas para resolver problemas en diversas áreas como la traducción de lenguajes, clasificación de datos, cifrado y cálculo numérico.