Departamento de Filosofia – FIL. Classe: A - Denominação: Adjunto "A" - Nível: 1 Área de Conhecimento: Lógica.
Período de inscrição e solicitação de isenção da taxa de Inscrição:31/03/2014 a 22/04/2014 Mais informações: 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 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
