Obrigado pela mensagem de apreciação, Jefferson! :-) Sei que você tem videoaulas disponíveis no seu canal do YouTube, e acho excelente a sua iniciativa!
Nos meus vídeos (quase todos) eu escrevo no tablet no app GoodNotes, espelhado na tela do computador. A gravação foi feita com o OBS e editada (dolorosamente) no iMovie. O investimento mais importante, creio eu, foi em um bom microfone! (Agradeço à amiga Márcia por me convencer da importância disso!) Usei como base cerca de 100 slides com conteúdo todo original, feito de Agosto pra cá. O principal objetivo era apresentar o material básico sobre o assunto para uma primeira exposição _formal_ à lógica clássica de primeira ordem, sem esconder nada importante mas também sem dar lugar a burocracias desnecessárias. Meu público-alvo foram estudantes de Computação, mas tenho certeza de que o material pode ser útil para estudantes de outras áreas também. Há algumas coisas talvez "originais", na abordagem, como a minha tentativa de eliminar o misticismo por trás de Dedução Natural, quase sempre apresentada nos livros-texto da nossa área de maneira a confundir _formalismo dedutivo_ com mera _notação_; sou de opinião de que apresentar as regras dedutivas como simples regras de manipulação de sequentes ajuda o estudante a entender, por exemplo, porque o conjunto das derivações é indutivamente definido (donde podemos associar a este conjunto métodos de demonstração por indução estrutural, para a verificação de meta-propriedades). (Pode até não ter ficado mal o resultado... Deu-me muito trabalho, em particular, tentar fazer vídeos _curtos_. Acho que o conteúdo ficou interessante, e talvez não haja nada realmente parecido com isso por aí! Todavia, como este é o primeiro material do gênero que eu produzi na vida, estou seguro de que poderia ter feito algo muito melhor, com mais experiência, tempo de planejamento, e menos amadorismo digital.) Forte abraço, e se tiver comentários ou sugestões a fazer, não hesite em me mandar uma mensagem! Joao Marcos On Tue, Oct 20, 2020 at 6:42 PM Jefferson Santos <[email protected]> wrote: > > Oi João, > > Muito legal!!! Que ferramental vocês usaram para fazer as edições dos vídeos? > As as marcações, escritos e efeitos de transições ficaram muito bem feitas. > > Parabéns e obrigado por compartilhar. > > Abraço, > > Jefferson > > On Tue, Oct 20, 2020 at 9: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_Lhc%2B2PH7jeMvW21G74boBx_KnZCFU8LUD0B63ds6PzZYg%40mail.gmail.com.
