Logica Computacional

Qué es lógica computacional?

La lógica constituye la herramienta formal de razonamiento de la mayor parte de las asignaturas de la carrera de informática, sobre todo de las que están más relacionadas con las matemáticas y la programación

La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.

Todo sistema computacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un lenguaje binario. La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel.

El ciclo de vida básico de un software consta de los siguientes procedimientos:

• Definición de objetivos: definir el resultado del proyecto y su papel en la estrategia global.

• Análisis de los requisitos y su viabilidad: recopilar, examinar y formular los requisitos del cliente y examinar cualquier restricción que se pueda aplicar.

• Diseño general: requisitos generales de la arquitectura de la aplicación.

• Diseño en detalle: definición precisa de cada subconjunto de la aplicación.

• Programación (programación e implementación): es la implementación de un lenguaje de programación para crear las funciones definidas durante la etapa de diseño.

• Prueba de unidad: prueba individual de cada subconjunto de la aplicación para garantizar que se implementaron de acuerdo con las especificaciones.

• Integración: para garantizar que los diferentes módulos se integren con la aplicación. Éste es el propósito de la prueba de integración que está cuidadosamente documentada.

• Prueba beta (o validación), para garantizar que el software cumple con las especificaciones originales.

• Documentación: sirve para documentar información necesaria para los usuarios del software y para desarrollos futuros.

• Implementación

• Mantenimiento: para todos los procedimientos correctivos (mantenimiento correctivo) y las actualizaciones secundarias del software (mantenimiento continuo).

Metodologías para la construcción de un programa

PROGRAMACIÓN LINEAL

La programación lineal permite escribir algoritmos de una forma secuencial, es decir, cada instrucción se ejecuta hasta que la anterior se haya realizado, no obstante, podemos referenciar a una línea desde nuestra secuencia que no sea la siguiente, de tal forma que al terminar una secuencia de instrucciones podremos referenciar a la línea que continuaba en nuestra ejecución.

Visto gráficamente su representación sería la siguiente:

La herramienta más común para representar este tipo de algoritmo basado en una metodología lineal es el diagrama de flujo, que no es más que la representación gráfica del algoritmo por medio de símbolos. Si el diagrama de flujo está completo y correcto, el paso del mismo a un lenguaje de programación es relativamente simple y directo

Realizar la prueba de escritorio del siguiente algoritmo:

1. Solicitar dato A.

2. Solicitar dato B.

3. Multiplicar dato A con dato B y el resultado asignarlo en C.4.

PROGRAMACIÓN ESTRUCTURADA

La metodología de programación estructurada se fundamenta en técnicas de segmentación, la cual plantea que un problema se puede dividir en problemas más pequeños (módulos) y más simples de resolver, de tal forma que la suma de las soluciones de cada problema sea el resultado de la solución total de Éste.

...