Obrigado pela dica, Valeria! Estou testando aqui. Por ora, posso dizer que acabei de testar o recurso "closed caption" do YouTube e fiquei bastante surpreso de perceber que ele consegue "entender" talvez 99% do que eu falo. :-o Nem eu entendo tudo isso do que eu falo!
Tudo de bom, Joao Marcos On Tue, Oct 20, 2020 at 11:41 PM Valeria de Paiva <[email protected]> wrote: > > Eu vi recentemente um menino no Youtube explicando como fazer isso em > portugues. > parece q o Chrome tem um sistema desses, que eles disponibilizam. > acho que e' esse aqui Joao MArcos, > https://www.youtube.com/watch?v=mpFe8DiowS0 mas nao garanto. > e confesso que ainda nao tentei. o video e' meio velho, e como sempre as > coisas estao apertadas. > > os cursos do coursera tem isso eu eu acho super bom qdo quero de fato > aprender alguma coisa, > ser capaz de repetir o professor, depois de ler o que foi dito ajuda muito! > > se voce fizer, depois conta como funcionou, ok? > abracos > Valeria > > On Tue, Oct 20, 2020 at 5:58 PM Joao Marcos <[email protected]> wrote: >> >> > Muito legal, parabens pela iniciativa! >> > voces fizeram voice2text dos videos?abs >> >> Confesso que não me ocorreu, Valeria, mas gostei da ideia! Alguma >> sugestão de por onde eu poderia começar? >> >> Joao Marcos >> >> >> >> > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos <[email protected]> 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 [email protected]. >> >> 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/ > > > > -- > 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lj8xosjWVvmJOweoZRg0f0gvohmve%3DU9sh--bOe2BFvig%40mail.gmail.com.
