Baixe o app para aproveitar ainda mais
Prévia do material em texto
NOÇÕES DE LÓGICA MATEMÁTICA O CÁLCULO DE PREDICADOS DE 1a ORDEM O Cálculo de Predicados, dotado de uma linguagem mais rica, tem várias aplicações importantes não só para matemáticos e filósofos como também para estudantes de Ciência da Computação. Podemos observar que nas linguagens de programação conhecidas como PROCEDURAIS (Pascal e outras) , os programas são elaborados para "dizer" ao computador a tarefa que deve ser realizada. Em outras linguagens de programação conhecidas como DECLARATIVAS, os programas reunem uma série de dados e regras e as usam para gerar conclusões. Estes programas são conhecidos como SISTEMAS ESPECIALISTAS ou SISTEMAS BASEADOS NO CONHECIMENTO que simulam em muitos casos a ação de um ser humano. Essas linguagens declarativas inclui predicados, quantificadores , conectivos lógicos e regras de inferência que, como veremos, fazem parte do Cálculo de Predicados.
Compartilhar