Seminário: Matemática Sintética e Teoria dos Tipos

• Responsável: PROPG - Pró-reitoria de Pós-Graduação
• Câmpus: Santo André
• Local: S-301-1 - Bloco A - Campus SA
• Data: 20/03/2024
• Horário: 13:00 às 14:00
• Descrição:

  Um princípio que esta comum na computação é o uso de “domain specific
  languages” (DSLs): ao invés de usar uma linguagem de programação geral
  como C ou Java para uma tarefa de programação, cria-se uma linguagem
  pequena e restrita, com uma sintaxe simplificada.
  As vantagens são um código limpo e legível e a facilidade de programação para
  as tarefas específicas, muitas vezes fornecendo acessibilidade para
  não-programadores. Exemplos de DSLs muito usados são HTML e SQL.
  Similarmente, a matemática sintética busca criar linguagens e
  sistemas de axiomas, para capturar uma área restrita da matemática de um
  jeito mais acessível e intuitivo. Embora não seja uma ideia nova – a
  geometria grega antiga é um exemplo – ela está ganhando
  força recentemente. Muitas vezes a criação de DSLs matemáticas envolve lógicas não
  clássicas e às vezes customizadas para a área em questão. Exemplos
  recentes usam a teoria dos tipos como pano de fundo lógico, trazendo
  novas conexões com a computação.
  Nesta palestra vamos apresentar a ideia geral da matemática sintética,
  enfatizando conexões e analogias com a computação. Vamos dar umas
  amostras de projetos de matemática sintética, incluindo cálculo com
  elementos nilpotentes, teoria homotópica dos tipos e geometria algébrica
  sintética.

• Necessita inscrição: Não
• Link de divulgação: https://www.instagram.com/p/C4f5NOAAgic/

Compartilhe:

Para visualizar o calendário completo ou para solicitar divulgação de eventos, acesse aqui.