Caras e caros colegas,
parabéns ao João, Daniel, Jefferson e todos os demais envolvidos nessas
fantásticas iniciativas! Que continuem mais ainda.
Aproveito para lembrar que no site da SBL temos uma seção de "Material
didático", que pode ser acessada aqui:
http://sbl.org.br/pmwiki.php/Main/Ensino
Seria ótimo se pudéssemos disponibilizar também lá os links para o
trabalho de vocẽs.
Abraços, fiquem bem,
Cezar
Em 2020-10-21 11:19, 'Durante' via LOGICA-L escreveu:
Parabéns, João,
Excelente iniciativa. A UFRN está mesmo na vanguarda. Parabéns!!!
Aproveito sua mensagem e faço uma propagandinha aqui também.
Eu, aqui na filosofia, também estou produzindo um material didático
introdutório em lógica, baseado na nossa versão brasileira do
Forall_x (o ParaTodxs - Natal).
Videoaulas:
https://danieldurante.weebly.com/videoaulas_logica.html
Livro:
https://philpapers.org/go.pl?id=MAGPTN&aid=MAGPTNv1
O foco são meus alunos de filosofia, muito pouco alfabetizados
matematicamente. É lógica misturada com filosofia da lógica.
Então, o curso será um pouco sonolento para muitos estudantes de
outras áreas.
E eu também não sei ser youtuber. Dou aulas longas de 1h mais ou
menos. Mas tem funcionado para meus alunos.
De fato, dá MUITO trabalho fazer isso. Mas com o tempo aprendemos.
Meu principal problema é a vizinhança. Moro em casa e aqui perto tem
galinha, pombos, cachorros, carro do gás, do ovo, do picolé
Caicó,... Mas a gente grava assim mesmo!
Devo acabar a introdução à lógica proposicional na próxima semana
e farei algumas aulas introdutórias sobre primeira ordem antes do fim
do semestre. Só semântica. Sem sistemas de prova.
Comentários, sugestões e principalmente correções, porque
certamente há muitos deslizes, também são muito bem-vindos.
Saudações,
Daniel.
Em terça-feira, 20 de outubro de 2020 às 09:41:18 UTC-3, Joao Marcos
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ê recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/cc47e530-bdbb-4763-95db-db6590f859d1n%40dimap.ufrn.br
[1].
Links:
------
[1]
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/cc47e530-bdbb-4763-95db-db6590f859d1n%40dimap.ufrn.br?utm_medium=email&utm_source=footer
--
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 ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5ce648ac2814319e4e62942ac94d83f7%40cfh.ufsc.br.
