Obrigado, colegas, Seguimos nos reiventando aqui. Fiquem a vontade para criticar e apontar erros. Há muitos.
Eu gosto bastante "Forall_x" e, modéstia a parte, gosto do que estamos fazendo no "Paratoxs - Natal". Mas ainda está muito longe de uma versão "publicável". Ainda tem muitos problemas, inclusive inconsistências terminológicas. Só que agora, com os vídeos, o texto está parado por falta de tempo. Mas logo voltamos. Eu não fiz um Hub do projeto do livro pois não tive tempo (ainda) de investir neste aprendizado. Mas eu envio com prazer o código LaTeX pra quem quiser mexer, mudar, alterar, fazer outro,... Fiquem a vontade. É tudo livre, "CC BY 4.0". O Hermógenes e alguns outros colegas da UFPB estão também trabalhando em algumas partes que ainda faltam e, quem sabe, haverá uma versão "Paratodxs - João Pessoa", com interseções com a nossa. Seria uma honra, Cezar, ter um link das videoaulas na página da SBL. Se achar que merecem, fique a vontade. Saudações, Daniel. Em quarta-feira, 21 de outubro de 2020 às 15:41:51 UTC-3, Haniel Barbosa escreveu: > Parabéns pelos vídeos, JM e colegas! Até agora pude ver apenas um > pouco mas está bem clara a altíssima qualidade do material. Como > também estou nessa vida de gravar previamente as aulas (que nem se > comparam a estas...) dá pra ter uma boa noção do trabalho necessário > pra atingir esse resultado. Fica aqui minha admiração. :) > > Abraço, > > Joao Marcos writes: > > > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * > > > > 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/ > > > -- > Haniel Barbosa > https://homepages.dcc.ufmg.br/~hbarbosa/ > -- 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/d2917397-d5d3-4ac5-9e43-8ba67c9124fbn%40dimap.ufrn.br.
