Obrigado, Walter! Não deixe de me avisar quando encontrar deslizes! Joao Marcos
On Tue, Oct 20, 2020, 22:27 Walter Alexandre Carnielli <[email protected]> wrote: > João e equipe, > > parabéns pela videopédia, vídeos bem concisos, informativos, > corretos (tanto quanto eu pude verificar--é fácil "deslizar") , > textos bem escolhidos e ótimo som! > Aliás, você poderia passar aqui > dica: que microfone usou? > > Abraços, > > Walter > > Em ter., 20 de out. de 2020 às 09:41, Joao Marcos <[email protected]> > escreveu: > > > > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * > > > > 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 > . > -- 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_Lhc7xighFf1B2Ts7PGJmSvY-71-vMP7D7ia-2GVm0Lvyw%40mail.gmail.com.
