Disciplinas de Iniciação Científica em Matemática (2026/1)
No semestre 2026/1,
teremos as seguintes ofertas de disciplina de
O objetivo destas disciplinas é ampliar a iniciação científica aos alunos do MAT, com projetos a serem realizados em um semestre letivo.
- Nível básico — Iniciação Científica 1
- Para alunos do primeiro ou segundo ano do curso de Matemática.
- Nível intermediário — Iniciação Científica 2
- Para alunos do segundo ou terceiro ano do curso de Matemática.
- Nível intermediário/avançado — Iniciação Científica 3
- Para alunos do terceiro ou quarto ano do curso de Matemática.
Para se candidatar a um dos projetos, o estudante deve manifestar seu interesse através do formulário de inscrição online até o dia 03/11/2025.
Iniciação Científica em Matemática 1
Fundamentos de álgebra linear para aprendizado de máquina — Prof. Lucas Seco
Turma cheia.
Este projeto tem como foco estudar o Capı́tulo 2 do livro Linear Algebra and Optimization for Machine Learning de Charu C. Aggarwal (Springer, 2020), que apresenta uma introdução moderna e aplicada à Álgebra Linear e Otimização, enfatizando sua importância para problemas de Aprendizado de Máquina.
O público-alvo são estudantes recém-ingressos no curso de Matemática, com conhecimentos básicos de matrizes (nı́vel do Capı́tulo 1 do livro) e interessados em ter um primeiro contato com a Matemática usada na Inteligência Artificial: conhecimentos de Cálculo 1 e conceitos fundamentais de Álgebra Linear.
Veja o PDF da proposta fundamentos de álgebra linear para aprendizado de máquina
.
Introdução à geometria das curvas planas e a desigualdade isoperimétrica — Prof. João Paulo
3 vagas.
O objetivo geral desta proposta é o estudo da geometria das curvas planas, com foco na desigualdade isoperimétrica. O problema é considerado um dos mais antigos em geometria. Sua formulação envolve uma estimativa para a área de uma região delimitada por uma curva de comprimento dado.
Veja o PDF da proposta introdução à geometria das curvas planas e a desigualdade isoperimétrica
.
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 projetivas e suas transformações — Prof. Lucas Seco
1 vaga.
Este projeto tem como foco estudar os Capı́tulos 13 e 14 do livro Geometries de Alexei Sossinsky, que apresenta uma abordagem conceitual e histórica das principais geometrias, enfatizando suas inter-relações e fundamentos.
Apesar de bastante alardeada, especialmente no contexto de arte renascentista e computação gráfica, a Geometria Projetiva ainda está pouco presente no currı́culo de graduação da Matemática. Assim, este projeto é voltado para estudantes com interesse em ampliar sua formação teórica e histórica, ao mesmo tempo em que desenvolvem autonomia de estudo e capacidade de argumentação matemática.
Veja o PDF da proposta geometrias projetivas e suas transformações
.
Introdução à geometria das curvas planas e a desigualdade isoperimétrica — Prof. João Paulo
3 vagas.
O objetivo geral desta proposta é o estudo da geometria das curvas planas, com foco na desigualdade isoperimétrica. O problema é considerado um dos mais antigos em geometria. Sua formulação envolve uma estimativa para a área de uma região delimitada por uma curva de comprimento dado.
Veja o PDF da proposta introdução à geometria das curvas planas e a desigualdade isoperimétrica
.
AutoMAT-2: Provadores Automaticos de Teoremas — Profª Daniele Nantes
1 vaga.
Continuação de AutoMAT-1, quando os estudantes já estão aptos a conduzir projetos de formalização mais complexos.
Veja o PDF da proposta AutoMAT-2: Provadores Automaticos de Teoremas
.
Iniciação Científica em Matemática 3
Não há oferta.