Parabéns Daniel! Mas gente, a UFRN deve estar na vanguarda mesmo, como o Daniel postulou , mas muito -- eu por exemplo não tenho a menor idéia do que seja "Forall":
Forall_x (o ParaTodxs - Natal) Só sei que Marcelo, Juliana e eu temos um projeto de livro semi-pronto há anos chamado "Lógica $\exists$ para $\forall$ ". Abs W. Em qua., 21 de out. de 2020 às 13:37, Valeria de Paiva <valeria.depa...@gmail.com> escreveu: > > Parabens Daniel!! > > Desculpe essa mensagem era pra ter ido ha' alguns meses atras quando soube > que voce estava fazendo isso de transformar o Forall pro portugues. > Achei o *maximo* mesmo!!! e nao disse so' porque estava enrolada. > Mas agora foi a minha chance, especialmente com a historia de virar video > tambem. > FANTASTICO! > Muito bom ver que a pandemia tem algumas coisas boas como efeito colateral, > abs > Valeria > > On Wed, Oct 21, 2020 at 7:19 AM 'Durante' via LOGICA-L > <logica-l@dimap.ufrn.br> wrote: >> >> Parabéns, João, >> >> Excelente iniciativa. A UFRN está mesmo na vanguarda. Parabéns!!! >> Aproveito sua mensagem e faço uma propagandinha aqui também. >> Eu, aqui na filosofia, também estou produzindo um material didático >> introdutório em lógica, baseado na nossa versão brasileira do Forall_x (o >> ParaTodxs - Natal). >> >> Videoaulas: >> https://danieldurante.weebly.com/videoaulas_logica.html >> >> Livro: >> https://philpapers.org/go.pl?id=MAGPTN&aid=MAGPTNv1 >> >> O foco são meus alunos de filosofia, muito pouco alfabetizados >> matematicamente. É lógica misturada com filosofia da lógica. Então, o curso >> será um pouco sonolento para muitos estudantes de outras áreas. >> E eu também não sei ser youtuber. Dou aulas longas de 1h mais ou menos. Mas >> tem funcionado para meus alunos. >> >> De fato, dá MUITO trabalho fazer isso. Mas com o tempo aprendemos. Meu >> principal problema é a vizinhança. Moro em casa e aqui perto tem galinha, >> pombos, cachorros, carro do gás, do ovo, do picolé Caicó,... Mas a gente >> grava assim mesmo! >> Devo acabar a introdução à lógica proposicional na próxima semana e farei >> algumas aulas introdutórias sobre primeira ordem antes do fim do semestre. >> Só semântica. Sem sistemas de prova. >> >> Comentários, sugestões e principalmente correções, porque certamente há >> muitos deslizes, também são muito bem-vindos. >> >> Saudações, >> Daniel. >> >> >> Em terça-feira, 20 de outubro de 2020 às 09:41:18 UTC-3, Joao Marcos >> escreveu: >>> >>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * >>> >>> Introdução Computacional à Lógica Matemática >>> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica >>> >>> Trata-se de uma _videopédia_ que aborda temas básicos ligados à >>> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com >>> sabor levemente computacional, cobrindo (presentemente) os temas: >>> - relações de consequência >>> - sintaxe lógica proposicional e de primeira ordem >>> - o formalismo da Dedução Natural >>> - as estruturas de interpretação (clássicas) de primeira ordem >>> Faço observar que o material foi criado para cobrir um curso >>> introdutório (formal) correspondente a aproximadamente 30 horas-aula, >>> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30 >>> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente >>> editada. >>> >>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * >>> >>> Este material foi construído ao longo de dois meses de trabalho >>> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e >>> de Patrick Terrematte. >>> >>> Comentários e sugestões dos colegas que possam impactar eventuais >>> futuras atualizações desta videopédia são sempre bem-vindos! >>> >>> Com votos de que possa haver algo aqui que venha a ser útil à nossa >>> comunidade, >>> Joao Marcos >>> >>> -- >>> http://sequiturquodlibet.googlepages.com/ >> >> -- >> 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/cc47e530-bdbb-4763-95db-db6590f859d1n%40dimap.ufrn.br. > > > > -- > Valeria de Paiva > http://vcvpaiva.github.io/ > http://www.cs.bham.ac.uk/~vdp/ > > -- > 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%3DXuU-V7YoUH0OaX8_9aWbn_kmTTdeQ3CJDxRoetNKvZ9jw%40mail.gmail.com. -- 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/CAOrCsLfjKdABi25ruy2_YSVbAW4dxC3yDrax9co9zTM2TQFAhA%40mail.gmail.com.
