Meus caros, Parabéns, parabéns, parabéns. Mas é claro que a UFRGN tinha que estar na vanguarda nessa área, sobretudo em se tratando de Forall. Afinal, a tradição tem umas 8 décadas, pelo que sempre me contavam os amigos natalinos (ou seria "natalenses"?). Lá vai o que me diziam. Durante a Segunda Guerra, os americanos tinham uma base em Natal. Então, além dos exercícios de preparação para a guerra, eles tinham, claro, atividades de recreação. Algumas delas, reservadas aos oficiais, outras abertas a todos, bailinhos for all, aos quais não faltavam garotas brasileiras. E foi assim que nasceu nosso forró! Si non eh vero...assim me foi contado, isso eu garanto! Ainda vou assistir seu video, JM, assim que tiver alta no hospital, onde estou fazendo o que espero ser a bateria final do controle do câncer que, se der o resultado esperado, significará que estou curada! Um beijo, Andrea
m qua., 21 de out. de 2020 às 17:36, Bruno Lopes <[email protected]> escreveu: > 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 <[email protected]> > 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 <[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 >> . >> > -- > 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/CAD-Wq09%3DYuxWYvB4wZkRvXt1Zd4ndTM0WBHfOrE_ihdNWeLS-g%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq09%3DYuxWYvB4wZkRvXt1Zd4ndTM0WBHfOrE_ihdNWeLS-g%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CACHAqBkhuNaGnbDPQcECz8M6HzP4h0CCyZZJ%3D6Y_4H6kuDQtNQ%40mail.gmail.com.
