Obrigado, Elaine! Bem, com pelo menos dez professores trabalhando em volta da nossa área, em cinco departamentos diferentes, a UFRN tinha que ser produtiva! E, pra completar, há um concurso na área de Lógica e Filosofia da Ciência acontecendo _esta semana_ no Departamento de Filosofia, na vaga que era da nossa ex-reitora!
> 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. Sim, um orientando de Daniel! Abraços, Joao Marcos On Thu, Oct 22, 2020 at 6:22 AM Elaine Pimentel <[email protected]> wrote: > > 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 <[email protected]> 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 >> <[email protected]> wrote: >> > >> > Muito legal, parabens pela iniciativa! >> > voces fizeram voice2text dos videos?abs >> > Valeria >> > >> > >> > >> > 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_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 > -------------------------------------------------------- -- 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_Lihgb%2BGN%3DKe%3D0NFEj9kS0VX2s3qn-KS-4Eezag2JsGV4Q%40mail.gmail.com.
