Lógica computacional conceptos básicos

COLEGIO DE ESTUDIOS CIENTIFICOS Y TECNOLOGICOS DEL ESTADO DE BAJA CALIFORNIA

[pic]

ALUMNA: MONTSERRAT BECERRIL RESCALVO

PROFESOR: OSCAR BUSTOS

GRUPO: 3CTPS

BAJA CALIFORNIA 2009-12-03

INDICE

págs.

Lógica computacional

Introducción a la lógicacomputacional……………………………………6

Evolución a la lógica computacional……………………………………6-7

Introducción a la lógica de programación………………………………...7

Evolución a la lógica de programación……………………………………7

Aplicaciones de la lógica de programación…………………………….7-8

Lógica formal

Principios de identidad……………………………………………………...8

Principios de no contradicción……………………………………………..8

Componentes de sintaxis…………………………………………………..9Componentes de semántica……………………………………………….9

Componentes de sistema de demostración………………………….9-10

Sintaxis de la lógica de demostración…………………………………...10

Sintaxis de la lógica de preposiciones……………………………….10-11

Sintaxis de la lógica de predicados de primer orden………………11-12

Sintaxis de la lógica de orden superior………………………………….12

Conceptos…………………………………………………...12-14

IMÁGENES[pic] [pic]

[pic] [pic]

CONCLUSION DE LOGICA COMPUTACIONAL

La contribución fundamental de la Lógica a la Computación es haberle dado un estatus matemático, básicamente al identificar el concepto informal de algoritmo con el objeto matemático de Autómata de Turing. De hecho, en este sentido, la Lógica puede considerarse una ciencia experimental, al implementar una abstracción formalcomo interacciones de señales electrónicas en un entorno físico. Es aquí donde radica la relación profunda entre Lógica y Computación.
CONCLUSION DE LOGICA FORMAL

Aplicando la regla de inferencia "Adición", seguida de la de equivalencia "Implicación Material", llegas a conclusiones sin sentido.
Ejemplo:
a = me gusta el pastel de manzana

b = me baño
Ahora la inferencia:
a
.·. a v b(aplicando adición)
.·. ¬ a --> b (aplicando implicación material)
lo cual es lo mismo que:
a
.·. ¬ a --> b
Traduciendo a lenguaje natura:
Me gusta el pastel de manzana, por lo tanto, si no me gusta el pastel de manzana, me baño.
BIBLIOGRAFIA DE LOGICA COMPUTACIONAL

Cuena, J.: Lógica Informática TOMOII: Lógica Computacional. Publicaciones FIM, 1999.
Paniagua E., Sánchez J.L. y Martín F.:Lógica Computacional. Thomson-Paraninfo, 2003.
Tymoczko T. y Henle J.: Razón, dulce razón. Una Guía de Campo de la Lógica Moderna. Ariel, 2002.

BIBLIOGRAFIA DE LOGICA FORMAL
De año (1974), Alfredo De año “Introducción a la lógica formal”. Alianza Editorial, Filosofía y Pensamiento, Madrid, 1999, pp. 427.

PARTE 1: LOGICA COMPUTACIONAL

INTRODUCCION A LA LOGICA COMPUTACIONAL

La lógicacomputacional 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.
El nivel menos abstracto dentro de una computadora está constituido por circuitos electrónicos que responden adiferentes 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 deverdad, 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...