MAC0425/MAC5739 - Inteligência Artificial
Agenda do Curso
-
-
Arquivo
-
Arquivo
-
-
Semana da Pátria (semana de break)
-
Introdução à Lógica Proposicional, CNF, resolução e satisfatibilidade (Marcelo Finger).
-
Introdução à Lógica de Predicados de Primeira ordem (LPO) (Flávio Correa).
-
Arquivo
-
CNF, resolução e unificação em LPO. Princípios de programação lógica e Prolog (Flávio Correa).
-
Representação de conhecimento. Uso de Lógica de Primeira Ordem para descrever de circuito elétrico (Renata Wassermann).
BDDs (Binary Decision Diagrams) (Silvio do Lago Pereira). -
-
Tarefa
-
-
-
Arquivo
-
Arquivo
-
-
Arquivo
-
Arquivo
-
-
-
Tarefa
-
-
Workshop: seminários dos alunos da pós-graduação. Presença obrigatória de todos.
-
Tarefa