Que Es Lógica Computacional

1.
Que es lgica computacional
El campo de la Lgica Computacional cubre todos los tipos de aplicaciones de la lgica

en la informtica. La Lgica Computacional se centra en la definicin:
Algoritmo = Lgica + Control.
De acuerdo con este punto de vista, los algoritmos tratan tanto de la descripcin de un
problema (de la parte lgica) como de la estrategia para llevar a cabo las computaciones
utilizadas en su descripcin (la parte de control). La Lgica Computacional se dedica al
ideal de un programador que es concentrarse en la descripcin de un problema y no
invertir ningn tiempo en el mecanismo de computacin necesario. Este paradigma
nico de la "programacin declativa" hace que el desarrollo de los programas sea
sencillo y rpido, y que asimismo sea fcil de entender y de mantener (estas son
caractersticas que cada vez van cobrando ms importancia al aumentar constantemente
la complejidad de los sistemas informticos en la actualidad). Adicionalmente, el uso
riguroso de la lgica revoluciona por completo el campo de la verificacin de hardware
y de software. En lugar de tener que hacer una fase de pruebas, que puede que no
ofrezca necesariamente otro resultado excepto el de la confirmacin de que el programa
parece hacer lo que se espera de l, el desarrollo de programas y sistemas con garanta
de correccin es el segundo ideal de la Computacin Lgica.
2. Resumen de la historia de la lgica computacional.
La lgica computacional es la misma lgica matemtica aplicada al contexto de las

ciencias de la computacin. Su uso es fundamental a varios niveles: en los circuitos
computacionales, en la programacin lgica y en el anlisis y optimizacin ( de recursos
temporales y espaciales ) de algoritmos.
Andrei Nikolayevich Kolmorogov (1903 -1987), Fue un matemtico ruso que hizo
progresos importantes en los campos de los escenarios y de la topologa. En particular,
desarrollo una base axiomtica que supone el pilar bsico de la teora de la probabilidad
a partir de la teora de conjuntos.
3. Que es un Algoritmo?
Conjunto ordenado de operaciones sistemticas que permite hacer un clculo y hallar la

solucin de un tipo de problemas.
4. Enunciar las caractersticas de los algoritmos.
1.- Finitud. Un algoritmo debe terminar en un nmero finito de pasos
2.- Definitividad. Cada paso del algoritmo debe definirse de modo preciso; las acciones
a realizar deben de estar especificadas rigurosamente y sin ambigedad para cada caso.
3.- Entrada. Un algoritmo tiene cero o ms entradas. Esto es las cantidades de datos de
inicio se generan en el mismo algoritmo o se conocen previamente.
4.- Salida. Un algoritmo tiene una o ms salidas. Es decir, hay datos o cantidades al
trmino del algoritmo que tiene una relacin especifica con los datos o conatidades de
entrada.
5.- Efectividad. El algoritmo debe de ser efectivo. Esto significa que todas las
operaciones deben ser suficientemente sencillas para poder en principio ser realizadas
de modo exacto y en un tiempo finito por un procesador.
5. Que partes debe describir un Algoritmo
6. Que es un pseudocdigo?
Cuando se trabaja en programacin, antes de escribir nuestro programa, primero

escribimos el pseudocdigo. El pseudocdigo es una forma de escribir los pasos
que va a realizar un programa de la forma ms cercana al lenguaje de
programacin que vamos a utilizar posteriormente. Es como un falso lenguaje,
pero en nuestro idioma, en el lenguaje humano y en espaol.
Ejemplo: Realizar el pseudocdigo que permita al usuario introducir por
teclado dos notas, calculando la suma y el producto de las notas.
Programa: Suma Producto

Entorno: NOTA1, NOTA2, SUMA, PRODUCTO son nmeros enteros
Algoritmo:
Escribir Introduzca las notas
Leer NOTA1, NOTA2
Calcular SUMA = NOTA1 + NOTA2
Calcular PRODUCTO = NOTA1 * NOTA2
Escribir La suma de las dos notas es: SUMA
Escribir El producto de las dos notas es: PRODUCTO
Fin programa.
7. Enuncie las caractersticas de un pseudocdigo.
CARACTERSTICAS DE PSEUDOCODIGO
Se puede ejecutar en un ordenador.
Es una forma de una representacin de una sencilla de utilizar y de manipular.
Facilita el paso del programa al lenguaje de programacin.
Es independiente del lenguaje de programacin que se vaya utilizar
Es un mtodo que facilita la programacin y solucin al algoritmo del
programa.
8. Que es y que representa un diagrama de flujo?
Un diagrama de flujo es una representacin grfica de un proceso. Cada paso del

proceso es representado por un smbolo diferente que contiene una breve descripcin de
la etapa de proceso. Los smbolos grficos del flujo del proceso estn unidos entre s
con flechas que indican la direccin de flujo del proceso.
9. Dar un ejemplo completo de un algoritmo con su respectivo pseudocdigo y
diagrama de flujo.
Sumar dos nmeros Enteros con datos capturados por el usuario e imprimir el resultado.
PSEUDOCODIGO
Defina X, Y, C Entero
Lea X
Lea Y
C= X+Y
Imprima C
Diagrama de Flujo
Inicio
Defina X, Y, C Entero
Lea X
Lea Y
Imprimir
Fin

Que Es Lógica Computacional

Cargado por

Copyright:

Formatos disponibles

Que Es Lógica Computacional

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Que Es Lógica Computacional

Cargado por

Copyright:

Formatos disponibles

1.

Que es lgica computacional

El campo de la Lgica Computacional cubre todos los tipos de aplicaciones de la lgica

Algoritmo = Lgica + Control.

2. Resumen de la historia de la lgica computacional.

La lgica computacional es la misma lgica matemtica aplicada al contexto de las

Conjunto ordenado de operaciones sistemticas que permite hacer un clculo y hallar la

1.- Finitud. Un algoritmo debe terminar en un nmero finito de pasos

5. Que partes debe describir un Algoritmo

Cuando se trabaja en programacin, antes de escribir nuestro programa, primero

Programa: Suma Producto

7. Enuncie las caractersticas de un pseudocdigo.

8. Que es y que representa un diagrama de flujo?

Un diagrama de flujo es una representacin grfica de un proceso. Cada paso del

También podría gustarte