Voltar

Pós em Estatística realiza seminário sobre lógica de primeira ordem dos anéis e definibilidade

Apresentação será na próxima quarta-feira (13), das 16h às 18h, no Departamento de Estatística, no Centro de Ciências Exatas e da Natureza

“Lógica de primeira ordem dos anéis e definibilidade” é o tema do seminário que o Programa de Pós-Graduação em Estatística da Universidade Federal de Pernambuco (UFPE) promove na próxima quarta-feira (13), das 16h às 18h, no Departamento de Estatística, no Centro de Ciências Exatas e da Natureza (CCEN). A apresentação será na sala 11, no térreo do bloco A.

O palestrante será o professor Eudes Naziazeno Galvão, do Departamento de Matemática. “Introduziremos os conceitos básicos da lógica de primeira ordem dos anéis: fórmulas, valor de verdade, definibilidade, decidabilidade etc. Faremos também uma conexão entre lógica de primeira ordem e o H10, o 10º problema de David Hilbert, da famosa lista de 23 problemas para o século XX”, explica.

Data da última modificação: 11/11/2019, 14:31