Ministrante: Níckolas de Aguiar Alves, (UFABC)
Data: 16 de abril de 2022
Horário: 14h às 18h
Carga Horária Total: 4h
Descrição: Esta é uma breve introdução às principais técnicas de demonstrações matemáticas para estudantes de Física. É recomendada uma exposição prévia a alguns assuntos de Cálculo (como a definição formal de limite), mas tem o objetivo de ser tão autocontido quanto possível. A princípio serão estudadas, por meio de exemplos utilizando números inteiros, as técnicas de prova direta, por absurdo, por contrapositiva e por indução, além de alguns símbolos comuns em demonstrações matemáticas. A seguir, algumas destas técnicas serão utilizadas para mostrar como os procedimentos usuais de cálculo de limites se relacionam com a definição formal.
Bibliografia:
Estas são as referências principais que guiarão o curso. A bibliografia completa estará nas notas de aula.
Notas de aula: disponíveis neste link.
Gravações: disponíveis nesta playlist.