Sistemas de Informação - Bacharelado - Turno Integral (V/N) 210 |
Disciplina
FUNDAMENTOS DE REPRESENTAÇÃO DE CONHECIMENTO E RACIOCÍNIO ( TIN0147 ) |
Unidade
Departamento de Informática Aplicada |
|
Tipo
Optativa |
Período Ideal no Curso
6 |
Nota Mínima para Aprovação
5.0 |
Carga Horária
60 |
Nº de Créditos
4 |
Revisão de Lógica Proposicional e de Predicados. Programação em Lógica e Prolog. Resolução Automática. Lógica Descritiva. Noções de tópicos avançados de Representação de Conhecimento e Raciocínio.