Viva, João! Su-per-le-gal o trabalho! Parabéns mesmo!!!
Acho que você acertou o tom: desde os tons pastel dos slides, até o tom correto do conteúdo, passando pelo tom suave de voz! Muito bacana, depois você me diz como escrever em cima de pdfs :) Eu já tinha parabenizado o Daniel e Maria da Paz pelo trabalho de tradução do forall, e fica aqui também o parabéns pela "menção honrosa" do Prêmio CAPES de tese para o PPGFIL. E sim, Lolita rocks! Abraços, Elaine. On Wed, Oct 21, 2020 at 10:37 PM Joao Marcos <botoc...@gmail.com> wrote: > 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 as legendas... > > Fiz o experimento, em particular, com o vídeo sobre "Correção e > completude para a Lógica de Primeira Ordem Clássica" > (https://youtu.be/zRZmfBlAiv0), que foi o último que eu gravei nesta > rodada. Ficou bom, basta você ligar o "close caption" do YouTube pra > ver. O problema foi que já encontrei um erro na minha narração: eu > falo a palavra "universal" ao me referir a um "existencial", > descrevendo o método de Henkin. :-(:-(:-( > > Vou culpar o referee, neste caso, por ter me feito assistir mais uma > vez a mim mesmo! ;-b > > Abraços, Joao Marcos > > On Tue, Oct 20, 2020 at 8:11 PM Valeria de Paiva > <valeria.depa...@gmail.com> wrote: > > > > Muito legal, parabens pela iniciativa! > > voces fizeram voice2text dos videos?abs > > Valeria > > > > > > > > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos <botoc...@gmail.com> wrote: > >> > >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * > >> > >> 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ê 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_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com > . > > > > > > > > -- > > Valeria de Paiva > > http://vcvpaiva.github.io/ > > http://www.cs.bham.ac.uk/~vdp/ > > > > > -- > 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_Liu6z66%3DGYk%3D6mE%3D%2B8xKOaJtGJtOJmdoYqxHHb9M3a2%3DA%40mail.gmail.com > . > -- Elaine. ------------------------------------------------- Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 3215-3820 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- 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/CAHQVs%2BV%2B6RWsbjPES8tX3EaGDqdnp53SDbuUmtzxo%3DiVm7R%2ByQ%40mail.gmail.com.
