Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica e Programação de Computadores (Aplicações (SIstemas Baseados em…
Lógica e Programação de Computadores
As Raízes
Algebra de boole
Begriffsschrif(Primeira versão do cálculo de predicados)
Teorema da incompleteza dos sistemas de formalização da aritmética(paradoxos de auto referencia)".
Forma clausal
unificação
Principio da resolução
Programação Lógica
Programmation en Logique(PROLOG)
Programação em Lógica
Lógica e controle
Programas Convencionais x Programas em Lógica
Programação em PROLOG
Espeficicação são programas
Capacidade dedutiva
Não-determinismo
Reversibilidade das relações
Tríplice Interpretação dos programas em lógica
Recursçao
Aplicações
SIstemas Baseados em Conhecimento (SBC's)
Sistemas de Bases de Dados(BD's)
Sistemas Especialistas(SE's)
Processamento da Linguagem Natural (PLN)
Educação
Arquiteturas Não-Convencionais
Quinta Geração
Sistemas Computacionais de Quinta Geração
Personal PSI
GHC(Guarded Horn Clauses)
KL0(Kernel Language Zero), KL1, KL2
Porque estudar PROLOG
GAP entre estágio de pesquisa e quando colocada a disposição da sociedade
Porta de entrada para a informática do futuro
É de facil aprendizado/Implementa com precisão modelos sugeridos/ Permite a implementação de extenções/Libera o programador de problemas com rotinas
Expressividade e flexibilidade
Ciência do pensamento correto /Ciência da verdade/ O que acontece, o que não acontece ?