Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Julio Stern
Parabens Joao Marcos: Creio que, daqui para frente, ter boas video-aulas devera se tornar a norma. Teremos que reaprender (nao voce que ja aprendeu, e muito bem) a ser professores. Teremos tambem que repensar o papel de aulas presenciais, a relacao aluno professor, o papel do professor na univers

[Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Cassiano Terra Rodrigues
Meu amigo JM, obrigado pelo envio e parabéns pelo trabalho! Forte abraço, cass. On Tuesday, October 20, 2020 at 9:41:18 AM UTC-3 Joao Marcos wrote: > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * > > Introdução Computacional à Lógica Matemática > > http://lolita.dimap.

[Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread 'Durante' via LOGICA-L
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

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Valeria de Paiva
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 vi

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Itala Maria Loffredo D'Ottaviano
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 es

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Walter Alexandre Carnielli
Parabéns Daniel! Mas gente, a UFRN deve estar na vanguarda mesmo, como o Daniel postulou , mas muito -- eu por exemplo não tenho a menor idéia do que seja "Forall": Forall_x (o ParaTodxs - Natal) Só sei que Marcelo, Juliana e eu temos um projeto de livro semi-pronto há anos chamado "

[Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread C. Mortari
Caras e caros colegas, parabéns ao João, Daniel, Jefferson e todos os demais envolvidos nessas fantásticas iniciativas! Que continuem mais ainda. Aproveito para lembrar que no site da SBL temos uma seção de "Material didático", que pode ser acessada aqui: http://sbl.org.br/pmwiki.php/Main/En

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Joao Marcos
> Mas gente, a UFRN deve estar na vanguarda mesmo, como o Daniel > postulou , mas muito -- eu por exemplo não tenho a menor idéia do > que seja "Forall": > > Forall_x (o ParaTodxs - Natal) Pois *é preciso conhecer* o projeto do Richard Zach, que, acredito eu, já foi divulgado aqui na lista

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Joao Marcos
Julio, Daniel, Cassiano, Itala: Obrigado pela força e pelos links, e por favor não hesitem em dizer se houver algo que eu possa fazer aqui do nosso lado para melhorar uma eventual futura nova versão do projeto da videopédia: http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Comp

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Jefferson Santos
Oi João, Muito obrigado pelo esclarecimento detalhado sobre as ferramentas. De fato são as mesmas que eu uso, só ainda não alcancei esse nível de acabamento, hehehe!!! A dica do microfone foi ótima também!! A gente tem produzido muitos vídeos, mas são todos resultados de aulas síncronas. Como a P

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Joao Marcos
Obrigado, Jefferson! Quanto ao acabamento, editar segundo a segundo, gravar e regravar, é uma tarefa insana, e não está mesmo assim livre de erros... O resultado é que _um dia inteiro_ de trabalho me rende quando muito 10 minutos de vídeo "finalizado". Não posso recomendar tal tarefa ingrata par

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Haniel Barbosa
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

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread 'Durante' via LOGICA-L
Obrigado, colegas, Seguimos nos reiventando aqui. Fiquem a vontade para criticar e apontar erros. Há muitos. Eu gosto bastante "Forall_x" e, modéstia a parte, gosto do que estamos fazendo no "Paratoxs - Natal". Mas ainda está muito longe de uma versão "publicável". Ainda tem muitos problemas,

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Jefferson Santos
Eita, João!! Tarefa ingrata mesmo. Valoriza mais ainda a sua iniciativa e dos demais colegas. Abraços. On Wed, Oct 21, 2020 at 3:31 PM Joao Marcos wrote: > Obrigado, Jefferson! Quanto ao acabamento, editar segundo a segundo, > gravar e regravar, é uma tarefa insana, e não está mesmo assim livr

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Joao Marcos
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 wrote: >

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Bruno Lopes
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 escreveu: > Querido Haniel: > > Seu elogio é muito significativo para mim. > > Fico se

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Andrea Loparic
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 G

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Thread Joao Marcos
Valeria, eu acabei de usar o "captions editor" do próprio YouTube Studio e fiquei muito bem impressionado com o resultado. Ele conseguiu "voz-textificar" bastante bem quase tudo o que eu disse, e permite-me corrigir o texto com muita facilidade. Agora, *haja tempo* para ouvir os vídeos e editar a

[Logica-l] the greatest mathematician that never lived

2020-10-21 Thread Joao Marcos
E por falar em EXISTÊNCIA e em vídeos, compartilho este TED-Ed com os colegas: https://youtu.be/0O_boW9YA7I - on writing "a consistent logical framework unifying every branch of mathematics" - on "functions as bridges" - "his existence was imaginary, his influence was real" (Achei curioso notar q