Professional Documents
Culture Documents
INTEGRANTES DE EQUIPO:
LICENCIATURA EN CIENCIAS AVILS LPEZ ANA HYATSI
COMPUTACIONALES BARRAGAN MADERA CARLOS YAEL
21 ISLAS MENESES MARA FERNANDA
Asignatura: Lgica Computacional MARTNEZ PREZ JORGE ADRIN
VILLAVICENCIO GRAJEDA MARA FERNANDA
Introduccin
Fundador Aristteles
Conclusin Premisas
Ciencia Deduccin
Software y/o aplicaciones que se utilizan
El Asistente para Deduccin Natural (ADN) es una
herramienta didctica que asiste al alumno que se inicia
en la tcnica de Deduccin Natural a elaborar sus propias
deducciones.
El lenguaje de programacin PROLOG es conocido en el
medio de investigacin en Inteligencia Artificial.
Usos/aplicaciones de equipos y/o dispositivos que utilizan
Un sistema lgico formal se puede ver como
un sistema formal deductivo universal, en
el mismo sentido que las mquinas de Turing
universales.
Mquina de Turing
APLICACIONES
Control de complejos procesos industriales
Sistemas
En ellos las acciones a
de decisin tomar se encuentran
almacenadas en la base de
Sistemas
conocimiento del
expertos computador en forma de
reglas lingsticas.
Sistemas
de control
Ejemplos de aplicacin para la solucin de problemas
La cena de Guille
CIERTO FALSO
imgenes representativas
BIBLIOGRAFA/CIBERGRAFA
http://yourhomework-easy.blogspot.mx/2012/09/logica-material-y-formal.html
https://books.google.com.mx/books?id=pS_6oZVbY2cC&printsec=frontcover&dq=l%C3%B3gica+c
omputacional&hl=es&sa=X&redir_esc=y#v=onepage&q=l%C3%B3gica%20computacional&f=false
https://www.youtube.com/watch?v=7qCGT0DDEpE
https://www.youtube.com/watch?v=qzPfqpN00b8
https://www.youtube.com/watch?v=YHM51NfUJBU
http://blogs.ua.es/friedrichludwiggottlobfrege/software-sobre-logica/
http://blogs.ua.es/friedrichludwiggottlobfrege/el-lenguaje-prolog-o-prolog/