Seminários organizados pelos alunos do IMECC
Lino Grama (IMECC – Professor) Nesta palestra será apresentada uma introdução informal à Teoria de Lie (nome dado em homenagem a Marius Sophus Lie ,1842-1899). Inicialmente discutiremos algumas ideias originais de Lie e suas aplicações no estudo de equações diferencias. Na sequência, iremos tratar das aplicações da Teoria de Lie em geometria (tais aplicações tem …
Ronaldo Vieira (IAG/USP) Muito tem se falado ultimamente sobre relatividade geral, principalmente com a descoberta da expansão acelerada do universo (Nobel de 2011) e com a detecção de ondas gravitacionais (Nobel de 2017!). No entanto, pouco se fala sobre o que é a relatividade geral. Nesta palestra, pretendo apresentar informalmente os princípios da mecânica newtoniana …
Caio Laurenti Nesse seminário, será apresentada a sintaxe da lógica clássica de primeira ordem assim como a definição de consequência semântica, a partir da noção de estrutura. Depois, será definida a noção de subestrutura elementar e, finalmente, a prova do teorema de Lowenheim-Skolem para cima. Haverá espaço para a discussão do significado destes conceitos e …
Aline Leite Vilela D’Oliveira Em geometria diferencial mudanças de referenciais dependentes do tempo são chamadas de transformações de gauge e teorias que se mostram invariantes sob tais transformações são chamadas de teorias de gauge. Em mecânica clássica as equações de Euler-Lagrange não são invariantes sob mudanças arbitrárias de referenciais dependentes do tempo, no entanto, é …
Sara Cardell Atualmente, existe a necessidade de clarificar a diferença entre os conceitos de codificar e cifrar. Ambos termos estão relacionados, mas têm objetivos diferentes. Cifrar uma mensagem é ocultar o conteúdo frente a possíveis ataques. Por sua vez, a codificação baseia-se em alterar a semântica da mensagem por comodidade e para assegurar a recuperação …
Mario Martínez Será apresentado o contexto do Cepid-Cemeai sobre Matemática Industrial. Nesse contexto será relatado um projeto particular, relacionado com a otimização da criação de frangos de corte. Mostraremos que em relação a esse projeto surge um problema matemático interessante e um algoritmo aplicável a muitas situações de avaliação imprecisa de função objetivo.
Vladmir Sicca Que tipo de arte é “de interesse matemático”? Sem tentar responder à pergunta com rigor matemático, vamos ver exemplos de gravuras, pinturas, construções e obras audiovisuais que por uma razão ou outra entraram no radar da comunidade matemática. Ainda que essas motivações sejam discutidas, o conteúdo matemático deve ser agradável para todos.
Anne Bronzi O movimento de um fluido pode ser modelado por um sistema de equações diferenciais parciais conhecido como equações de Navier-Stokes. Para descrever a evolução do escoamento precisamos de informações a respeito das soluções deste sistema. Para isso é necessário responder as seguintes questões fundamentais: existência, unicidade e regularidade das soluções. Nesta palestra veremos …
O problema de singularidade para equações da Dinâmica dos Fluidos Leia mais »
Dessislava Koshlukov Discutiremos o que significa um grupo ser finitamente apresentável.
Basta você colocar os óculos corretos e encontrará muito mais semelhanças do que poderia imaginar. Guilherme Silva Nesta palestra exploraremos o conceito de universalidade, que afirma que por mais complexos que muitos sistemas matemáticos e físicos sejam, na verdade eles se tornam extremamente simples quando aumentamos o número de variáveis consideradas ao invés de tentar diminuí-lo.