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.
programas, como, objetos, matemáticos, según, john, backus, para, computación, acercase, más, ciencia, disciplina, ingeniería, menos, arte, debería, convertirse, primero, disciplina, matemática, para, ello, sería, importante, lograr, espacio, programas, espaci. Segun John Backus para que la computacion se acercase mas a una ciencia o a una disciplina de ingenieria y menos a un arte deberia convertirse primero en una disciplina matematica y para ello seria importante lograr que el espacio de programas sea un espacio matematico con respecto a las operaciones de formacion de programas o funcionales y distinguirlo del espacio de valores con sus operaciones especificas de construccion 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 estan interrelacionadas por propiedades algebraicas Las mas utiles de ellas son las que muestran algun tipo de simetria como por ejemplo la propiedad distributiva que relaciona dos operaciones OA y OB de manera que la combinacion de OA con valores formados con OB se puede expresar como OB que combina valores formados con OA Mientras mas utilidad tengan las propiedades de los elementos de So mas fuerte sera la estructura algebraica y la estructura matematica del espacio S Vease tambien EditarProgramacion a nivel funcional Programacion a nivel de valores Lenguaje de programacion FP Datos Q5679462Obtenido de https es wikipedia org w index php title Programas como objetos matematicos amp oldid 117342443, wikipedia, wiki, leyendo, leer, libro, biblioteca,
