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 <[email protected]> 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 [email protected]. 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.
