> 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/ -- 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_LgX6yEBxO_sPL8J6Tgptw9e6ogyDqpn6mF-fjFsW1Lsvg%40mail.gmail.com.
