Aplicacion de La Logica Matematica en La Computacion Publicar
Aplicacion de La Logica Matematica en La Computacion Publicar
Aplicacion de La Logica Matematica en La Computacion Publicar
3 Los Indestructibles"
Tuxtepec , Oaxaca a 29 de Octubre del 2012
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 COMPUTACIONALES
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 las entradas 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 de valores 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.
3
ALGORITMOS
Conjunto prescrito 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, siguindolos pasos sucesivos se llega a un estado final y se obtiene una solucin. Los algoritmos son el objeto de estudio de la6
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, HacerMientras, MientrasHacer, ParaMientras, etc.) y otras caractersticas comnmente utilizadas en uno o ms lenguajes de alto nivel.
CONCLUSION
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.
http://matediscretasu3.wordpress.com/2011/10/16/3-5aplicacion-de-la-logica-matematica-en-la-computacion/
http://matedisunidad3.wordpress.com/tag/aplicacion-de-lalogica-matematica-en-la-computacion/
http://es.scribd.com/doc/44366194/APLICACIONES-DE-LALOGICA-MATEMATICA-PARA-LA-COMPUTACION