Está en la página 1de 17

Lógica Computacional

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

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. ¿Qué es la Lógica Matemática? . La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. (estructura lógica). ¿Qué es la Lógica? . La lógica examina la validez de los argumentos en términos de su estructura.

Algoritmos Lógica Computacional .

 Conjunto ordenado y finito de pasos que permite hallar la solución de un problema.   ¿Qué es un algoritmo? . Descripción exacta de la secuencia en que se ha de realizar un conjunto de actividades tendientes a resolver un determinado tipo de problema o procedimiento. Una secuencia de pasos que conducen a la realización de una tarea.

Algoritmo: . estructurados en el tiempo y formulados con base a un conjunto finito de reglas no ambiguas.Es un conjunto finito de pasos definidos. que proveen un procedimiento para dar la solución o indicar la falta de esta a un problema en un tiempo determinado.

cada vez que se ejecute bajo las mismas condiciones. la secuencia de ejecución deberá ser la misma proporcionándonos el mismo resultado. Un buen Algoritmo debe ser: . Debe estar Definido. 2. Debe ser Finito. debe especificar sin ambigüedad el orden en que se deben ejecutar las instrucciones. siempre que sea adecuado se realizarán un número finito de instrucciones.1. Debe ser Preciso. 3. en un tiempo finito y requiriendo una cantidad finita de esfuerzo.

 Ser definido: Sin ambigüedad. Ser finito: Un número específico y numerable de pasos debe componer al algoritmo. cada paso del algoritmo debe indicar la acción a realizar sin criterios de interpretación. el cual deberá finalizar al completarlos.  Características de un Algoritmo: .

Tener una o más salidas: Debe siempre devolver un resultado. Tener cero o más entradas: Datos son proporcionados a un algoritmo como insumo (o estos son generados de alguna forma) para llevar a cabo las operaciones que comprende. de nada sirve un algoritmo que hace algo y nunca sabemos que fue.  .

 Efectividad: El tiempo y esfuerzo por cada paso realizado debe ser preciso. no usando nada más ni nada menos que aquello que se requiera para y en su ejecución. .

.

Ciclos Los ciclos son estructuras de control que permiten ejecutar varias veces una operación .

mientras se cumpla una cierta condición. Ciclo Mientras (WHILE) . Este ciclo repite una operación.

Ciclo Hacer-mientras (DO-WHILE) . Si es verdadera. la operación se evalúa de nuevo. y así sucesivamente. En este ciclo la operación se ejecuta y después se evalúa la condición.

especificando en un contador el incremento unitario. Ciclo Desde (FOR) . desde un Valor Inicial hasta un Valor Final que marcará la condición de salida del ciclo. En este ciclo se ejecuta una operación un cierto número de veces.