APLICACIONES DE LA LOGICA MATEMATICA PARA LA COMPUTACIÓ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.

CIRCUITOS COMPUTACIONALES

El nivel menos abstracto dentro de una computadora está constituido por circuitos
electrónicos que responden a diferentes señales eléctricas, siguiendo los patrones de la
lógica booleana; esto es, compuertas lógicas que devuelven un valor dependiendo de las
entradas que se le dan al sistema. Existen ocho compuertas lógicas básicas con las
cuales se pueden formar sistemas muy complejos: AND, OR, Inverter, Buffer, NAND,
NOR, XOR y XNOR. Todas ellas son representadas mediante un símbolo y una tabla de
valores de verdad, que es simplemente un cuadro donde se ubican todas las posibles
entradas y los valores que devolvería la compuerta dados dichos valores.

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.

ALGORITMOS

En matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo

(del griego y latin, dixit algorithmus y éste a su vez del matemático 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 solución. Los algoritmos
son el objeto de estudio de la algoritmia.[
El pseudocódigo es una herramienta algorítmica que permite escribir pseudoprogramas
(una imitación de un programa real) utilizando un lenguaje de pseudoprogramación que
es una imitación de los lenguajes de programación de alto nivel. Así, un pseudocódigo
es una combinación de símbolos (+, -, *, /, %, >, >=, <, <=, !=, ==, y, o, no), términos
(Leer, Imprimir, Abrir, Cerrar, Hacer...Mientras, Mientras...Hacer, Para...Mientras, etc)
y otras características comúnmente utilizadas en uno o más lenguajes de alto nivel.
PROGRAMACION LOGICA

La programación lógica consiste en la aplicación del corpus de conocimiento sobre

lógica para el diseño de lenguajes de programación;

La programación lógica es un tipo de paradigmas de programación dentro del

paradigma de programación declarativa. El resto de los subparadigmas de programación
dentro de la programación declarativa son: programación funcional, programación
basada en restricciones, programas DSL (de dominio específico) e híbridos. La
programación lógica gira en torno al concepto de predicado, o relación entre
elementos. La programación funcional se basa en el concepto de función (que no es
más que una evolución de los predicados), de corte más matemático.

La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia

artificial o relacionadas:

• Sistemas expertos, donde un sistema de información imita las recomendaciones

de un experto sobre algún dominio de conocimiento.
• Demostración automática de teoremas, donde un programa genera nuevos
teoremas sobre una teoría existente.
• Reconocimiento de lenguaje natural, donde un programa es capaz de
comprender (con limitaciones) la información contenida en una expresión
lingüística humana.
• Etc.

La programación lógica también se utiliza en aplicaciones más "mundanas" pero de

manera muy limitada, ya que la programación tradicional es más adecuada a tareas de
propósito general.