Sumários
Recepção aos estudantes
4 Outubro 2021, 10:00 • Ricardo Lopes Coelho
Recepçãp de boas-vindas aos estudantes da LTI.
Introdução
4 Outubro 2021, 08:00 • Ricardo Lopes Coelho
Panorâmica do programa.
Metodologia das aulas.
Avaliação.
Utilidade do estudo das controvérsias.
Instrumentos de análise das controvérsias.
O paradoxo como a controvérsia em micro-escala.
Análise dos paradoxos seguintes: o calvo; o lugar do movimento e dicotomia (Zenão).Composição de forças: teses e experiências
29 Setembro 2021, 18:30 • Ricardo Lopes Coelho
Exercícios de formalização de proposições
22 Setembro 2021, 18:30 • Ricardo Lopes Coelho
Operadores lógicos mais úteis à formalização de proposições.
Proposições: formalização e discussão da validade das proposições com base na formalização.
Análise e transformação de paradoxos de Zenão.
(sem estudantes definidos)
15 Setembro 2021, 18:30 • Ricardo Lopes Coelho
Esta turma foi criada depois do início das aulas e em virtude dos novos alunos do IST.