* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 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.
