El código de computadora es una serie de instrucciones, mientras que la representación matemática generalmente consiste en una serie de afirmaciones o afirmaciones fácticas.
Los lenguajes de computadora como Prolog son excepciones. En Prolog y otros lenguajes basados en la lógica, el programador escribe un conjunto de aserciones lógicas, y el sistema de tiempo de ejecución hace inferencias basadas en las aserciones. Este tipo de lenguajes se han utilizado para probar teoremas y crear sistemas expertos (y otros tipos de sistemas de IA). Esta es una forma de programación donde el código puede verse como una representación matemática.
Hay toda una rama de la informática que estudia los algoritmos como construcciones matemáticas. Por ejemplo, existen límites de rendimiento teórico demostrables para resolver ciertos problemas. En cierto sentido, esta rama de CS trata los algoritmos (y el código que los implementa) como construcciones matemáticas. En este sentido, el código puede verse como una representación matemática en la informática teórica. Sin embargo, no creo que esto sea lo que tenías en mente. La informática teórica trata los algoritmos y el código como objetos de estudio, no como una representación para estudiar matemáticas en general.
- Cómo encontrar un circuito de Euler en un gráfico en tiempo lineal
- ¿Por qué se le dio al F-117 Nighthawk un prefijo F?
- ¿Cuáles son las cuatro aplicaciones prácticas de la teoría de conjuntos en informática?
- ¿Resolver acertijos me hará mejor en matemáticas, física, informática o resolución general de problemas?
- ¿Cómo explicaría las diferencias subyacentes entre álgebra lineal, establecer álgebra teórica y álgebra relacional (especialmente desde una perspectiva CS / base de datos)?