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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/cc47e530-bdbb-4763-95db-db6590f859d1n%40dimap.ufrn.br?utm_medium=email&utm_source=footer> > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- 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%3DXuU-V7YoUH0OaX8_9aWbn_kmTTdeQ3CJDxRoetNKvZ9jw%40mail.gmail.com.
