Introduccion a la logica

Computación – Informática
Blog desarrollado por Lic. Norma L. Matheus
Menú
Saltar al contenido
Inicio
Acerca de
Diagrama de Chapín
EXPRESIONES CONDICIONALES
Introducción a la lógicade programación

Introducción a la lógica de programación
Definiciones Asociadas:
Los enunciados en general describen, cada uno, un determinado trabajo.
Un procesador es toda entidad capaz de comprenderlas acciones elementales de un algoritmo y ejecutar el trabajo indicado por el mismo.
Es importante señalar que bajo esta definición un procesador puede ser una persona, una calculadora, unacomputadora o una máquina cualesquiera.
El ambiente constituye el conjunto de todos los recursos necesarios para la ejecución de un trabajo, expresado a través de un algoritmo.
El procesador no puederealizar el trabajo demandado si no cuenta con los recursos necesarios. Entonces definiremos:
Cualesquiera sea el ambiente descripto, la ejecución de un trabajo, en general, no es inmediata; ella supone unconjunto de pasos para llegar al fin perseguido. Llamaremos a cada uno de estos pasos una acción es un evento que modifica al ambiente.
Además, cualquier procesador debe respetar la secuencia deacciones. Las acciones deben ser ejecutadas en el orden en que aparecen en el método o procedimiento seleccionado
También se hace notar que una misma acción puede aparecer, más de una vez, en ladescripción de un trabajo.
El procesador tiene la capacidad de interpretar cada una de las acciones descriptas, en cuyo caso estas acciones constituyen acciones primitivas
Para un procesador dado, unaacción es primitiva si su enunciado puede ser ejecutado sin información adicional.
En consecuencia, una acción no primitiva debe ser descompuesta en acciones primitivas, para un procesador dado.
Existendistintas técnicas para descomponer una acción en acciones primitivas. Uno de los métodos, denominado de refinamiento sucesivo
Dado un trabajo T, descripto por medio de acciones no primitivas,...