João e Daniel: Parabéns, iniciativas fantásticas! Vamos aproveitar essas aulas.
Abraços, Itala Em quarta-feira, 21 de outubro de 2020 às 13:37:12 UTC-3, valeria.depaiva 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 < > [email protected]> 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 [email protected]. >> > 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/302afdec-8d2e-497b-b433-a07895486f36n%40dimap.ufrn.br.
