Banca de Defesa de Dissertação de Mestrado: Thiago Alves Rocha
Título: Complexidade Descritiva de Classes de Complexidade Probabilísticas de Tempo Polinomial e das Classes Parity P e NP Interseção coNP Através de Lógicas com Quantificadores Generalizados de Segunda Ordem
Data: 24/02/2014
Horário: 10h
Local: Sala de Seminários Bloco 952
Banca:
- Profa. Dra. Ana Teresa de Castro Martins - MDCC/UFC (Orientadora)
- Prof. Dr. Carlos Eduardo Fisch de Brito - MDCC/UFC
- Prof. Dr. João Fernando Lima Alcântara - MDCC/UFC
- Prof. Dr. Ruy José Guerra Barreto de Queiroz - UFPE