Disciplinas de Iniciação Científica em Matemática (2025/2)
Iniciação Científica em Matemática 1
Modelagem matemática de dinâmica populacional — Profª Andrea Genovese
3 vagas.
Estudar por meio de métodos de perturbação alguns modelos de equações diferenciais ordinárias formulados para mapear e controlar crescimento populacional em diferentes cenários.
Veja o PDF da proposta modelagem matemática de dinâmica populacional
.
AutoMAT-1: Provadores Automaticos de Teoremas — Profª Daniele Nantes
3 vagas.
Um assistente de prova ́e um software que permite ao usuário construir interativamente demonstrações formais, assegurando sua correção por meio de verificação automática.
Neste curso, primeiramente, pretende-se introduzir os fundamentos da linguagem formal utilizada. Em segundo lugar, o curso visa familiarizar os estudantes com os comandos e metodologias essenciais para a construção e verificação de provas assistidas por computador.
Veja o PDF da proposta AutoMAT-1: Provadores Automaticos de Teoremas
.
Iniciação Científica em Matemática 2
Geometrias e seus grupos de transformação — Profª Lucas Seco
Atenção: turma já formada. Não há vagas.
Vamos tratar as geometrias como objetos matemáticos concretos com estruturas visuais e algébricas ricas, explorando as geometrias bidimensionais de curvatura constante através de seus modelos: plano euclidiano e afim, esfera, plano projetivo e plano hiperbólico.
Veja o PDF da proposta geometrias e seus grupos de transformação
.
Iniciação Científica em Matemática 3
Introdução aos Grupos Profinitos — Profª Aline Pinto
Atenção: turma já formada. Não há vagas.
Este projeto propõe estudar o que são os chamados grupos profinitos e suas propriedades mais básicas. Para isso, os estudantes irão desenvolver conexões entre conceitos algébricos e topológicos, fortalecendo sua formação tanto em álgebra como em topologia.