Alguns temas em Lógica que estamos propondo para a pós-graduação (mestrado e doutorado) no Centro de Informática da UFPE (veja o edital aqui<http://www.cin.ufpe.br/~imprensa/EditalDeSelecaoParaMestradoEDoutorado.pdf> ): Dedução Natural Rotulada: Skolemização e o Quantificador Existencial<https://cin20.cin.ufpe.br:8443/selecpos/download?id=142> Dedução Natural Rotulada: Igualdade Proposicional<https://cin20.cin.ufpe.br:8443/selecpos/download?id=145> Dedução Natural Rotulada: Lógicas Subestruturais<https://cin20.cin.ufpe.br:8443/selecpos/download?id=147> Dedução Natural Rotulada: Normalização e Jogos de Linguagem<https://cin20.cin.ufpe.br:8443/selecpos/download?id=148> Complexidade Descritiva de Problemas em Grafos<https://cin20.cin.ufpe.br:8443/selecpos/download?id=163> Modelos Finitos via Teoria da Estabilidade<https://cin20.cin.ufpe.br:8443/selecpos/download?id=164> Questões Fundamentais sobre o Problema P =? NP<https://cin20.cin.ufpe.br:8443/selecpos/download?id=165> Fundamentos Univalentes da Matemática através da Noção de Caminho Computacional de Reescrita de Termos<https://cin20.cin.ufpe.br:8443/selecpos/download?id=193>
À disposição para esclarecer quaisquer dúvidas, Ruy _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
