Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
Título: ALGUNS RESULTADOS EM TEORIA DE PROVA BASEADO EM GRAFOS
Autor(es): MARCELA QUISPE CRUZ
Orientador (es) : EDWARD HERMANN HAEUSLER
Coorientador (es): LEW GORDEEV
Instituição: PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
Programa: PPG EM INFORMÁTICA
Área: TEORIA DA COMPUTAÇÃO
Banca: EDWARD HERMANN HAEUSLER - PUC-RIO
LUIZ CARLOS PINHEIRO DIAS PEREIRA - PUC-RIO
MARCO ANTONIO CASANOVA - PUC-RIO
LEW GORDEEV - UT
MAURICIO AYALA RINCON - UNB
ANJOLINA GRISIDE OLIVEIRA - UFPE
ALEX DE VASCONCELLOS GARCIA - IME
Vocabulário: COMPLEXIDADE DE PROVAS
DEDUCAO NATURAL
GRAFOS DE PROVA
INFERENCIA PROFUNDA
LOGICA BI-INTUICIONISTA
LOGICA CLASSICA
LOGICA MINIMAL IMPLICACIONAL
NORMALIZACAO FORTE
TEORIA DA PROVA
Apresentação: 13/JAN/2014
Aceitação: 13/NOV/2014
Sistema de Biblioteca: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM
Número de Chamada: 004 C957s