APLICACIONES DE LA LOGICA MATEMATICA PARA LA COMPUTACIN

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
.CIRCUITOS COMPUTACIONALE
El nivel menos abstracto dentro de una computadora est constituido por
circuitos electrnicos que responden a diferentes seales elctricas, siguiendo
los patrones de la lgica booleana; esto es, compuertas lgicas que devuelven
un valor dependiendo de lasentradas que se le dan al sistema. Existen ocho
compuertas lgicas bsicas con las cuales se pueden formar sistemas muy
complejos: AND, OR, Inverter, Buffer, NAND, NOR, XOR y XNOR. Todas ellas son
representadas mediante un smbolo y una tabla devalores de verdad, que es
simplemente un cuadro donde se ubican todas las posibles entradas y los
valores que devolvera la compuerta dados dichos valores.Todo sistema
computacional, por muy complejo que sea, no est compuesto por ms que
circuitos electrnicos que nicamente entienden un lenguaje binario. La lgica
computacional se encarga de modelar y optimizar tales sistemas a este nivel.
ALGORITMOS
En matemticas, ciencias de la computacin y disciplinas relacionadas, un
algoritmo (del griego y latin, dixit algorithmus y ste a su vez del matemtico
persa Al Juarismi[1] )es un conjunto preescrito de instrucciones o reglas bien
definidas, ordenadas y finitas que permite realizar una actividad mediante
pasos sucesivos que no generen dudas a quien deba realizar dicha actividad.
[2] Dados un estado inicial y una entrada, siguiendo los pasos sucesivos se
llega a un estado final y se obtiene una solucin. Los algoritmos son el objeto
de estudio de la algoritmia.[El pseudocdigo es una herramienta algortmica
que permite escribir pseudoprogramas (una imitacin de un programa real)
utilizando un lenguaje de pseudoprogramacin que es una imitacin de los
lenguajes de programacin de alto nivel. As, un pseudocdigo es una
combinacin de smbolos (+, -, *, /, %, >, >=, <, <=, !=, ==, y, o, no),
trminos (Leer, Imprimir, Abrir, Cerrar, Hacer...Mientras, Mientras...Hacer,
Para...Mientras, etc) y otras caractersticas comnmente utilizadas en uno o
ms lenguajes de alto nivel.
PROGRAMACION LOGICA
La programacin lgica consiste en la aplicacin del corpus de conocimiento
sobre lgica para el diseo de lenguajes de programacin; La programacin
lgica es un tipo de paradigmas de programacin dentro del paradigma de
programacin declarativa. El resto de los subparadigmas de
programacindentro de la programacin declarativa son: programacin
funcional, programacin basada en restricciones, programas DSL (de dominio
especfico) e hbridos. La programacin lgica gira en torno al concepto de
predicado, o relacin entre elementos.La programacin funcional se basa en el

concepto de funcin (que no es ms que una evolucin de los predicados), de

corte ms matemtico.La programacin lgica encuentra su hbitat natural en
aplicaciones de inteligencia artificial o relacionadas: Sistemas expertos,
donde un sistema de informacin imita las recomendaciones de un experto
sobre algn dominio de conocimiento. Demostracin automtica de
teoremas, donde un programa genera nuevos teoremas sobre una teora
existente. Reconocimiento de lenguaje natural, donde un programa es capaz
de comprender (con limitaciones) la informacin contenida en una expresin
lingstica humana. Etc.La programacin lgica tambin se utiliza en
aplicaciones ms "mundanas" pero de manera muy limitada, ya que la
programacin tradicional es ms adecuada a tareas de propsito general.