Abertura + Seminário por Prof. Dr. Jorge Petrucio Viana - I Encontro GLM
Автор: Grupo de Lógica, Filosofia e Matemática da Unicamp
Загружено: 2025-11-18
Просмотров: 92
Abertura do I Encontro do GLM e seminário compondo mesmo evento.
Auditório IMECC, dia 18 das 09:00 às 09:30 (Abertura) + das 09:30 às 11:00 Seminário pelo Prof. Dr. Jorge Petrucio Viana.
Título do seminário: Fundamentação da Matemática na Álgebra das Relações via a Lógica Básica dos Grafos.
Resumo: A álgebra das relações RA é famosa por várias razões. Entre elas, a sua (aparente) simplicidade e a dificuldade de fazer demonstrações empregando apenas os recursos simples envolvidos em sua definição. Apesar disso, é possível fundamentarmos a matemática e a teoria da computação por meio (de uma extensão) da RA. Nesta palestra, ilustramos estes aspectos adicionando uma nova dimensão na RA. Mais especificamente, empregamos grafos para representar as relações definíveis na álgebra e utilizando transformações nos grafos para efetuar a demonstrações. Com isto, obtemos um sistema mais flexível que pode ser empregado de maneira lúdica na demonstração de enunciados que confundem mesmo as pessoas mais treinadas no uso da RA (como vamos exemplificar).
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
