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