Lógica e a Teoria dos conjuntos
A Lógica e a Teoria dos conjuntos são temas que aparecem no novo programa de Matemática A para o Ensino Secundário com objetivos específicos e maior aprofundamento, o que exige uma readaptação da prática letiva. Com esta ação pretende-se apoiar os professores, proporcionando-lhes uma formação complementar sobre o tema e uma preparação para a sua abordagem de acordo com as novas orientações e suas especificidades.
Programa resumido:
1.Introdução
1.1. A Lógica numa perspetiva histórica
1.2. A teoria de conjuntos numa perspetiva histórica (teoria informal)
1.3. Lições a extrair do percurso histórico
2. Lógica proposicional - a perspetiva booleana
3. Lógica de primeira ordem - quantificadores
4. Outras lógicas
5. Teoria intuitiva de conjuntos
6. A necessidade da formalização e a teoria axiomática (considerações gerais)