Técnicas de Demostración: Natural y Automática (Ejercicios)
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10045/50525
Título: | Técnicas de Demostración: Natural y Automática (Ejercicios) |
---|---|
Autor/es: | Llorens Largo, Faraón |
Centro, Departamento o Servicio: | Universidad de Alicante. Departamento de Ciencia de la Computación e Inteligencia Artificial |
Palabras clave: | Lógica | Deducción natural | Demostración automática | Cálculo de proposiciones | Cálculo de predicados |
Área/s de conocimiento: | Ciencia de la Computación e Inteligencia Artificial |
Fecha de publicación: | 25-oct-2015 |
Resumen: | Vamos a estudiar distintas técnicas de demostración lógica, partiendo de la Deducción Natural hasta llegar a la demostración automática. Para ello nos serviremos de ejemplos: un ejemplo formalizado en el lenguaje de proposiciones, que permite un tratamiento más sencillo y otro formalizado en el lenguaje de predicados, que tiene mayor potencia expresiva pero que a cambio requiere un cálculo más complejo. |
URI: | http://hdl.handle.net/10045/50525 |
Idioma: | spa |
Tipo: | learningObject |
Derechos: | © Faraón Llorens |
Aparece en las colecciones: | Docencia - Ingeniería y Arquitectura - Ejercicios / Prácticas / Exámenes |
Archivos en este ítem:
Archivo | Tamaño | Formato | ||
---|---|---|---|---|
101711417.zip | 459,76 kB | ZIP archive | Abrir | |
Todos los documentos en RUA están protegidos por derechos de autor. Algunos derechos reservados.