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 <botoc...@gmail.com> 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 <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/ > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- 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/CAESt%3DXtD%2Bs5R9n33Z1JykAwxSkMhAUOKVd95ucywM%2BzLqkWgVQ%40mail.gmail.com.
