Colóquio MAP
“Introdução às Provas Assistidas por Computador”
Prof. Dr. Isaia Nisoli – UFRJ
Dia: 01 de dezembro, sexta-feira, das 16. às 17h.
Local: Auditório Antonio Gilioli – Sala 247/262 Bloco A, IME-USP, café às 15h30 na sala 265 A (Chefia do MAP)
Resumo da palestra:
Vou introduzir a ideia de Prova Assistida por Computador, i.e.. provas nas quais parte do trabalho da prova é feito com a ajuda do computador. Um exemplo muito conhecido de prova assistida por computador na área de sistemas dinâmicos é a prova da existência do atrator de Lorenz (Tucker 2002), no qual métodos de computação rigorosa são utilizados para integrar uma ODE. Vou introduzir o conceito de computação rigorosa (ou certificada) e explicar como os resultados de uma computação certificada são afirmações matematicamente válidas.
Transmissão online: http://www.ime.usp.br/comunicacao/eventos/cat.listevents/