Aplicaciones de

la Lógica
Matemática en
Computación
Integrantes:
PEREZ SANCHEZ TRISTAN YAHIR
RANGEL RUIZ JUAN
REYES MARCOS ELIEL
¿Qué es?

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.

2
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 varias
compuertas lógicas básicas con las cuales se pueden formar
sistemas muy complejos, estas son algunas: AND, OR, Inverter,
Buffer, NAND, NOR, XOR y XNOR. 

3
Compuertas Logicas

4
Algoritmos

En matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo 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.
Dados un estado inicial y una entrada, siguen dolos 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.

5
Programación Lógica

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.
6
 La programación lógica encuentra su hábitat natural en aplicaciones
de inteligencia artificial o relacionada:
• 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.