Vaga no FIL-UnB na área de Lógica: --------------------------- EDITAL>> http://dgp.unb.br/concursos/docente-2014/category/8883-148
QUADRO DOS OBJETOS DE AVALIAÇÃO 1) Métodos de prova: dedução natural, sequentes e tableaux 2) Completude da lógica proposicional (clássica) 3) Completude da lógica de primeira ordem (clássica) 4) Completude das lógicas modais normais 5) A lógica discussiva e os sistemas paraconsistentes de Newton da Costa 6) Semânticas para a lógica intuicionista 7) Lógicas polivalentes 8) Lógica abstrata: consequência lógica ________________________ Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ________________________ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
