Local: Bloco H, Sala 310 (o local das aulas práticas será informado em classe)

Horário: Terças e quintas, das 13h às 15h

Objetivos: Aprimorar os conhecimentos em lógica computacional e suas aplicações modernas

No segundo semestre de 2014, esta disciplina consistirá de dois módulos:

• Lógica descritiva: Acesse a página deste módulo para maiores detalhes

• Lógica modal: Acesse a página deste módulo para maiores detalhes

Avaliação: Duas provas escritas (uma por módulo), cujas datas serão confirmadas nesta página

Importante: Presença, participação nas aulas e realização dos exercícios dados em classe serão componentes fundamentais da avaliação

Grupo de discussão: Informações sobre como ingressar no grupo do Facebook

Suporte pedagógico: Anna Carolina C. M. Oliveira e Luiz C. Fernandez