Search this site
Embedded Files
Skip to main content
Skip to navigation
Homepage of Joao Marcos
The Suszkian Odyssey
test
courses
Fundamentos Matemáticos da Computação 3
Especificações Algébricas de Tipos de Dados Abstratos
Raciocínio Equacional
Tipos de Dados Recursivos
LC (DGM versão 2006.2)
Lógica Aplicada à Computação
Dedução Natural para a Lógica Clássica de Primeira Ordem
Dedução Natural para a Lógica Clássica Proposicional
Imagem & Som
Método de Resolução & Prolog
Recursão & Indução (revisão)
Representação do Conhecimento e Argumentação (LCP)
Semântica de Primeira Ordem Clássica
Semântica Proposicional Clássica
Teoria dos Conjuntos (revisão)
Teoria dos Conjuntos [material parcial]
Proposta para FMCnx
Método de Resolução & Prolog
Material:
Aulas expositivas, reforço, sessões de dúvidas, desafios (tutores+fórum)
Livro
B&A
, versão 2007, capítulos
Resolução na Lógica Proposicional e Resolução na Lógica de Predicados
Verbetes sobre
Literal (lógica)
,
Cláusula (lógica)
,
Forma Normal Conjuntiva
e
Princípio da resolução
, na Wikipédia
Verbetes sobre
Forma normal da negação
,
Forma normal prenex
,
Skolemização
,
Forma normal clausal
,
Universo de Herbrand
,
Base de Herbrand
e
Unificação
, na Wikipédia
Exercícios resolvidos B&A, capítulo :
- Exercícios do capítulo "Computação na Lógica Proposicional" do livro B&A:
soluções
- Exercícios do capítulo "Computação na Lógica de Predicados" do livro B&A:
soluções
Avaliações + soluções (proposicional):
- Avaliação 00:
enunciado
-
gabarito
Exame-tipo
(proposicional) => teste seus conhecimentos!
Avaliações + soluções (primeira ordem):
- Avaliação 00:
enunciado
-
gabarito
Exame-tipo
(primeira ordem) => teste seus conhecimentos!
Tutorial (C. Nalon):
Machine-Oriented Reasoning
Temas importantes:
Formas normais & respectivos procedimentos de conversão
Método da Resolução por Eliminação dos Literais Complementares e Unificação
Justificativas lógicas para o procedimento operacional do método de resolução
Fundamentos de Prolog
Material:
Aulas expositivas, sessões de dúvidas, desafios (tutores+fórum)
Livro de
B&A
, versão 2007, capítulo
Programação em Lógica e Prolog
Exercícios resolvidos B&A:
soluções
(arquivo
PL
)
Livros-texto de
Palazzo
e de
Favero
de introdução ao Prolog.
Verbete sobre
Prolog
na Wikipédia
Avaliações + soluções:
- Avaliação 00:
enunciado
-
gabarito
(arquivo
PL
)
- Avaliação 01:
enunciado
-
gabarito
(arquivo
PL
)
- Avaliação 02:
enunciado
-
gabarito
(arquivo
PL
)
Arquivos Prolog com exemplos:
[P00]
- fatos, regras, consultas, e recursividade básica
[P01]
- controle de fluxo, aritmética básica, e mais recursividade
[P02]
- outros predicados extra-lógicos, listas, listas-diferença, filas, árvores
[C00]
- algumas operações usuais sobre conjuntos
[L00]
- algumas operações sobre a sintaxe e a semântica da lógica proposicional
Instalação & tutoriais:
SWI-Prolog
: ambiente Prolog freeware (
Windows
e outros SO).
No
Linux
: apt-get install swi-prolog swi-prolog-clib swi-prolog-doc
Alguns tutoriais:
-
Learn Prolog Now!
-
prolog :- tutorial.
-
Logic, Programming and Prolog
Prolog dictionary
Google Sites
Report abuse
Google Sites
Report abuse