---------- Forwarded message ---------- From: Alexandre Costa-Leite <[email protected]> Date: 2014-04-12 18:28 GMT-03:00 Subject: Graham Priest + Concurso UnB To: "A. Costa-Leite" <[email protected]>
Prezados senhores, O Graham Priest visitou a UnB ano passado e fez uma palestra no meu grupo *Lógica no Avião*: http://costaleite.info/logicbsb.html O vídeo da palestra está em https://www.youtube.com/watch?v=1PaJYLy9BZU Depois, ele deu uma entrevista: http://seer.bce.unb.br/index.php/polemos/article/view/10488/7645 Por fim, gostaria de chamar a atenção para a vaga que temos 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 --------------------------- Spread the word! Um abraço, A. C-L -- *-------*costaleite.info *-------* *-------* *-------* -- Fábio Salgado de Carvalho _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
