Alguns liames com aulas interessantes de Lógica. Trazem informações abertas
para a consulta de quem quiser aprender. A maioria deles trata de lógica
contemporânea.
(1) O primeiro deles é um módulo de uma disciplina da graduação ministrada no
MIT:
https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/proofs/tp2-2/
A disciplina, no entanto, não se chama “introdução à Lógica”, mas “Matemática
para Ciência da Computação”. É um módulo bem básico de lógica matemática com
vídeos vários em Inglês. Apresenta as questões gerais de uma forma talvez
simplificada demais, mas compreende-se isto por conta dos seus objetivos.
Uma continuação desse módulo também aparece no YouTube:
https://m.youtube.com/watch?v=UroprmQHTLc
https://m.youtube.com/watch?v=T1AtlGrCoU8
https://m.youtube.com/watch?v=L5uBeAGJV1k
(2) Já outros cursos, “Lógica I” e “Lógica II”, ministrados no Departamento de
Linguística e Filosofia, pelo professor Vann McGee e Ephraim Glick, também na
graduação, traz apontamentos das aulas:
https://ocw.mit.edu/courses/linguistics-and-philosophy/24-241-logic-i-fall-2009/
https://ocw.mit.edu/courses/linguistics-and-philosophy/24-242-logic-ii-spring-2004/index.htm
Lógica II já é, porém, de um nível pouco mais aprofundado que o citado em (1),
enquanto que Lógica I é outra maneira de abordar os conteúdos de (1).
(3) Há também o curso aberto da Stanford:
https://online.stanford.edu/courses/sohs-xlpl-sp-language-proof-and-logic
(4) Este outro curso começa com apontamentos filosóficos importantes:
http://www.openculture.com/symbolic-logic-a-free-online-course
--
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0CFD94E6-0631-442F-8C27-8CEC8E5D036C%40gmail.com.
