Daniel, parabéns pela iniciativa e também pelo teu website, q é sensacional! Nunca consegui ter uma página na web tão boa e organizada, fiquei com aquela invejinha boa de querer ser como vc. Agradeço tb pela sistematização do método do John Wilson, vou usar com meus alunos. Um abraço, cass.
On Wednesday, October 21, 2020 at 11:19:15 AM UTC-3 dura...@gmail.com 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ê 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/f6d595d4-10b9-40f0-a99e-8c0e365de499n%40dimap.ufrn.br.
