Confirmado o próximo seminário do LoLITA (Group for Logic, Language, Information, Theory, and Applications) da UFRN.
Local: sala de reuniões do DIMAp / UFRN Data: 6a-feira, 28-Out-2011, 9:00-10:00 Título: Introduzindo Funções Residuadas Palestrante: Regivan Hugo Nunes Santiago http://www.dimap.ufrn.br/~regivan Resumo: A noção de conexões de Galois é uma ferramenta poderosíssima em Matemática. Este seminário visa introduzir o conceito de Funções Residuadas, algumas propriedades, e suas aplicações. Pretende-se mostrar como certas entidades poderosas; como operadores de fecho, operadores de interior, adjunções em categorias, etc. carregam esse tipo de função e como áreas tradicionalmente lineares, como processamento de sinais, vem adotando essa linguagem baseada em ordens parciais. O público alvo são alunos de graduação e pós-graduação em Computação, Matemática, e Engenharias. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
