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