João, Parabéns pelo excelente trabalho! Certamente vai ser muito útil à comunidade. E mais uma vez, obrigado por disponibilizar nas página da SBL.
Abraços, Bruno Em qua, 21 de out de 2020 17:33, Joao Marcos <botoc...@gmail.com> escreveu: > Querido Haniel: > > Seu elogio é muito significativo para mim. > > Fico sempre muito feliz em saber que você saiu aqui da UFRN para fazer > sucesso como professor aí na UFMG, onde um dia eu próprio estudei! > > Muita força aí nesta tarefa, > Joao Marcos > > > On Wed, Oct 21, 2020 at 3:41 PM Haniel Barbosa <hanielbbarb...@gmail.com> > wrote: > > > > Parabéns pelos vídeos, JM e colegas! Até agora pude ver apenas um > > pouco mas está bem clara a altíssima qualidade do material. Como > > também estou nessa vida de gravar previamente as aulas (que nem se > > comparam a estas...) dá pra ter uma boa noção do trabalho necessário > > pra atingir esse resultado. Fica aqui minha admiração. :) > > > > Abraço, > > > > Joao Marcos writes: > > > > > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * > > > > > > 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/ > > > > > > -- > > Haniel Barbosa > > https://homepages.dcc.ufmg.br/~hbarbosa/ > > > > -- > 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/CAO6j_LhdE1krmW9JqPC1updcxArVqSpa9oHhE_kyt3N6Pv0GQQ%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/CAD-Wq09%3DYuxWYvB4wZkRvXt1Zd4ndTM0WBHfOrE_ihdNWeLS-g%40mail.gmail.com.
