P. 1
APLICACIONES DE LA LOGICA MATEMATICA PARA LA COMPUTACIÓN

APLICACIONES DE LA LOGICA MATEMATICA PARA LA COMPUTACIÓN

4.0

|Views: 10.589|Likes:
Publicado pormissael123s

More info:

Published by: missael123s on Nov 30, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

07/15/2013

pdf

text

original

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.

La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia artificial o relacionadas: • • • • Sistemas expertos. donde un programa genera nuevos teoremas sobre una teoría existente. Demostración automática de teoremas. Reconocimiento de lenguaje natural. donde un sistema de información imita las recomendaciones de un experto sobre algún dominio de conocimiento. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados). donde un programa es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional. Etc. de corte más matemático. La programación lógica gira en torno al concepto de predicado.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. programación basada en restricciones. La programación lógica también se utiliza en aplicaciones más "mundanas" pero de manera muy limitada. La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. ya que la programación tradicional es más adecuada a tareas de propósito general. . o relación entre elementos. programas DSL (de dominio específico) e híbridos.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->