Benjamin Bumpus, MAC-IME-USP
Categorical Algorithmics: Towards Mathematical Computer Science
There is a distinction between “theoretical physicists” and “mathematical physicists”. The former use mathematics to describe the world and its underlying mechanisms. The latter build the mathematical edifice of physics. In computer science such a distinction is needed, but does not yet exist. I think of myself as a mathematical computer scientist: I am a mathematician concerned with the mathematics of computer science. This talk is all about my modest stab at engineering this edifice and my use of category theory to get there.
Claude Marion, MAT-IME-USP
Alguns problemas em teoria de grupos
Abordaremos vários problemas sobre grupos finitos acerca de geração de grupos simples, do número mínimo de geradores de um grupo, do grafo gerador dos grupos alternados e simétricos, e da propriedade de Magnus.
*****
As palestras do Colóquio do IME são transmitidas e disponibilizadas no nosso Canal do YouTube sempre que autorizado pela/o palestrante: https://www.youtube.com/@coloquiodoime
Inclua o Colóquio do IME na sua agenda clicando aqui!