Eu tambem! [[]], E.
On Thu, 20 Apr 2023 at 17:49, Valeria de Paiva <valeria.depa...@gmail.com> wrote: > 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ê recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXts26GX2NkJi1WyUvYj%3DBQhZKrO8gmSikOpCmY%2BMwiTbg%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXts26GX2NkJi1WyUvYj%3DBQhZKrO8gmSikOpCmY%2BMwiTbg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CADs%2B%2B6gw54Q3726Qb%2B4Y6gu-Gi51ST72CxYMVpkJ3C%2B5t7oWzg%40mail.gmail.com.