Aplicación de La Lógica Matemática en La Computación

Aplicación de la
lógica matemática
en computación
Profesor: Hamid Sánchez Correa.
Materia: Matemáticas Discretas.
Alumna: María Guadalupe Marín

Soto.
Grado: 4º
Carrera: Ing. Sistemas

computacionales.
Aplicación de la lógica matemática en 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.
En lo personal me atrae más la el área de algoritmos y programación lógica, puesto

que si dominamos estos dos anteriores cualquier proceso como informáticos se nos
hará mucho más fácil. Para comprender un poco más de la complejidad de cada
uno a continuación los explicaremos más a fondo.
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

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.
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 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.
Son algunos de los usos puntuales de la lógica matemática, sin embargo, hay mas
aun con otro grado de complejidad.

Aplicación de La Lógica Matemática en La Computación

Cargado por

Copyright:

Formatos disponibles

Aplicación de La Lógica Matemática en La Computación

Cargado por

Información del documento

Título 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

Aplicación de La Lógica Matemática en La Computación

Cargado por

Copyright:

Formatos disponibles

Aplicación de la

Profesor: Hamid Sánchez Correa.

Materia: Matemáticas Discretas.

Alumna: María Guadalupe Marín

Carrera: Ing. Sistemas

En lo personal me atrae más la el área de algoritmos y programación lógica, puesto

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

El pseudocódigo es una herramienta algorítmica que permite escribir

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

La programación funcional se basa en el concepto de función (que no es más que

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

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

•Demostración automática de teoremas, donde un programa genera nuevos

•Reconocimiento de lenguaje natural, donde un programa es capaz de comprender

También podría gustarte