Programas como objetos matemáticos
- Programas como objetos matemáticos
-
Programas como objetos matemáticos
Según John Backus, para que la computación se acercase más a una ciencia o a una disciplina de ingeniería y menos a un arte, debería convertirse primero en una disciplina matemática y para ello, sería importante lograr que el espacio de programas sea un espacio matemático con respecto a las operaciones de formación de programas o funcionales, y distinguirlo del espacio de valores con sus operaciones específicas de construcción de valores.
De manera informal, un espacio S es un conjunto Sv de los valores y un conjunto So de las operaciones sobre Sv que van de (Sv)n en So y están interrelacionadas por propiedades algebraicas.
Las más útiles de ellas son las que muestran algún tipo de simetría, como por ejemplo, la propiedad distributiva que relaciona dos operaciones OA y OB de manera que la combinación de OA con valores formados con OB se puede expresar como OB que combina valores formados con OA.
Mientras más utilidad tengan las propiedades de los elementos de So, más fuerte será la estructura algebraica y la estructura matemática del espacio S.
Véase también
Categoría: Informática teórica
Wikimedia foundation.
2010.
Mira otros diccionarios:
Programas como objetos matemáticos — Según John Backus, para que la computación se acercase más a una ciencia o a una disciplina de ingeniería y menos a un arte, debería convertirse primero en una disciplina matemática y para ello, sería importante lograr que el espacio de programas … Enciclopedia Universal
Programación a nivel de valores — Saltar a navegación, búsqueda La programación a nivel de valores es unos de los dos paradigmas contrastantes identificados por John Backus en su trabajo sobre los Programas como objetos matemáticos, siendo el otro la programación a nivel… … Wikipedia Español
Programación a nivel funcional — Saltar a navegación, búsqueda La programación a nivel funcional es unos de los dos paradigmas contrastantes identificados por John Backus en su trabajo sobre los Programas como objetos matemáticos, siendo el otro la programación a nivel de… … Wikipedia Español
Programación a nivel de valores — La programación a nivel de valores es unos de los dos paradigmas contrastantes identificados por John Backus en su trabajo sobre los Programas como objetos matemáticos, siendo el otro la programación a nivel funcional. El término inicialmente… … Enciclopedia Universal
Programación a nivel funcional — La programación a nivel funcional es unos de los dos paradigmas contrastantes identificados por John Backus en su trabajo sobre los Programas como objetos matemáticos, siendo el otro la programación a nivel de valores. En su discurso de… … Enciclopedia Universal
Fractal — Este artículo o sección sobre matemáticas necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 16 de octubre de 2010. También puedes… … Wikipedia Español
Adobe Illustrator — Ai Desarrollador Adobe Systems … Wikipedia Español
Lógica matemática — La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la… … Wikipedia Español
Pseudociencia — Existen desacuerdos sobre la neutralidad en el punto de vista de la versión actual de este artículo o sección. En la página de discusión puedes consultar el debate al respecto. Una pseudociencia o seudociencia es una afirmación, creencia o… … Wikipedia Español
Systems Development Life Cycle — En este artículo sobre informática se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Carece de fuentes o referencias que aparezcan en una fuente acreditada. Podría ser demasiado… … Wikipedia Español
