Disciplinas ministradas pelo grupo
Aprendizado Automático
- Métodos de Regressão
- Métodos de Classificação Supervisionada e Não Supervisionada
- Técnicas de Redução de Dimensionalidade
Aspectos Formais da Computação
- Indução, Recursão, Enumerabilidade
- Lógica de Primeira Ordem
- Teorema da Compacidade, Teorema da Completude e Corretude
- Definibilidade e Limites da Lógica de Primeira Ordem
- Problemas Decidíveis e Indecidíveis em Lógica
Inteligência Artificial
- Métodos de Busca
- Otimização
- Raciocínio sob Incerteza
- Princípios de Aprendizagem de Máquina
Lógica Aplicada
- Teorema de Herbrand
- O Método de Resolução
- Correção e completude do Método de Resolução
- O Método dos Tableaux
- Dualidade entre Tableaux e Resolução
Lógica Intuicionística e Modal --- Lógicas Não-Clássicas
- Motivação filosófica para o Intuicionismo: O construtivismo de Brower
- Métodos de prova e Semântica para a lógica Intuicionista
- Teorema da completude
- Linguagem, Semântica e Axiomática das Lógicas Modais
- Invariâncias e bissimulações, modelos finitos, traduções para linguagem primeira-ordem
- Completude: modelos canônicos, métodos finitários.
- Computabilidade e Complexidade
Teoria da Computação
- Máquinas de Turing; Técnicas de simulação;
- Funções recursivas primitivas (PR)
- Outros modelos de computação (lambda-calculus, gramáticas, linguagens de programação, etc.)
- Problemas indecidíveis
- Tese de Church
Teoria da Prova
- Sistemas de Dedução Natural e Cálculo de Sequentes para lógica clássica e intuicionística
- Teoremas da Normalização e Eliminação do Corte e suas conseqüências
- Lambda Cálculo
- Teoria dos Tipos
- Isomorfismo de Curry-Howard
Tópicos Avançados em Inteligência Artificial I
- Lógica não-monotônicas
- Lógicas Paraconsistentes
- Lógicas Modais
- Lógica Intencional
- Filosofia da Lógica
Tópicos Avançados em Inteligência Artificial II
- Conexionismo
- Técnicas de aprendizagem
- Prova de convergência
- Aplicação de redes neurais na solução de problemas
- Conexionismo vs. Simbolismo
Tópicos Especiais em Lógica Matemática
- Lógicas Modais e Sistemas Multiagentes
- Lógica Epistêmica e as Noções de Conhecimento e de Crenças
- Aspectos Dinâmicos das Lógicas Epistêmicas
- Formalização das Preferências de um Agente
- Agregação de Preferências em Sistemas Multiagentes