oi Alexandre, ficou gravado? eu gostaria muito de ver! obrigada, Valeria On Thu, Apr 20, 2023 at 8:17 AM Alexandre Rademaker <aradema...@gmail.com> wrote:
> > https://emap.fgv.br/eventos/how-prove-it-lean > > > How To Prove It With Lean > > I will describe a project I have been working on for most of the last > year: an online book called “How To Prove It with Lean.” The purpose of > this project is to see if a computer proof assistant called Lean could be > helpful to students who are learning to write mathematical proofs. I will > describe the project and demonstrate the use of Lean to write some simple > proofs. > > Daniel Velleman: I received a B.A. from Dartmouth College in 1976 and a > Ph.D. from the University of Wisconsin–Madison in 1980. I taught at the > University of Texas for three years before joining the faculty of Amherst > College, where I taught from 1983 to 2017. I have written five books: How > To Prove It, Which Way Did The Bicycle Go? (with Stan Wagon and Joe > Konhauser), Philosophies of Mathematics (with Alexander George), Calculus: > A Rigorous First Course, and Bicycle or Unicycle? (with Stan Wagon). I was > the editor of the American Mathematical Monthly from 2007 to 2011. > > > > Hoje! Online. Mais informações no link acima. > > > Ab., > > -- > Alexandre Rademaker > http://arademaker.github.io > > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2ED9B02D-D7D5-489B-95EE-7BE76898BB61%40gmail.com > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXts26GX2NkJi1WyUvYj%3DBQhZKrO8gmSikOpCmY%2BMwiTbg%40mail.gmail.com.
