Calculo De Predicado
MINISTERIO DEL PODER POUPLAR PARA LA EDUCACION UNIVERSITARIA
INSTITUTO UNIVERSITARIO DE TECNOLOGIA ANTONIO JOSE DE SUCRE
ESCUELA: INFORMATICA
CATEDRA: ALGEBRA IAnaco, Septiembre 2011
Índice
Pág.
¿Qué son predicados?03
¿Qué son cuantificadores? 03
¿Tipos de cuantificadores? 03
Importancia del Cálculo de Predicado 03
¿Qué es el Universo de Discurso? 03
¿Qué es unaConstante Individual? 03
¿Cuáles son los Componentes de la Interpretación lógica? 04
Axioma de Reflexividad 04
Asignación Explicita 04
Conclusión 05Bibliografía 06
Introducción
En las últimas décadas ha aumentado considerablemente el interés de la informática por la aplicación de la lógica a la programación. Los fundamentos teóricosen la programación declarativa se basan en los desarrollos de la lógica de predicados.
El cálculo de predicados es una generalización del cálculo proposicional, además de sujetos, predicado ycuantificadores, el calculo de predicado contiene proposiciones y conectivos que forman parte del lenguaje. Cuando un predicado se conecta con una expresión, se dice que expresa una propiedad y cuandose conecta con dos o más expresiones, se dice que expresa una relación.
Los argumentos de los predicados pueden ser expresiones de distintos tipos y estas expresiones son llamadas términos. Suimportancia es básica, y éste se utiliza cada vez más para especificar los requisitos de las aplicaciones de computadoras.
A continuación analizaremos los siguientes conceptos: Predicados,cuantificadores y sus tipos, importancia del cálculo de predicado, universo de discurso, constante individual, componentes de la interpretación lógica, axioma de reflexividad y la asignación explicita.
1)...
Regístrate para leer el documento completo.