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/cc47e530-bdbb-4763-95db-db6590f859d1n%40dimap.ufrn.br.
