Plano de Estudos
Tópicos de Lógica Matemática TLM
Contextos
Groupo: 2_DMat 2014/15 a 2015/16 > 3º Ciclo > Parte Escolar > Tronco Comum > Optativas > 1º Ano > 50_Doutoramento em Matemática - Grupo A
ECTS
6.0 (para cálculo da média)
Objectivos
Esta unidade curricular é dirigida a estudantes que já têm alguma familiaridade com a lógica matemática. O curso deve cobrir tópicos que são importantes na lógica matemática contemporânea e que geralmente não se dão em cursos mais introdutórios.
Programa
Programa em aberto à escolha do professor responsável. O curso deve cobrir assuntos que são importantes na lógica matemática contemporânea mas que geralmente são omitidos em cursos introdutórios.
Método de Avaliação
Exposição teórica. Pretende-se um envolvimento sólido dos alunos em termos de questões levantadas. Algum material não será demonstrado completamente na exposição (se é que se demonstra). Deste, algum será deixado para o estudante trabalhar em casa.Trabalhos para casa e possível exposição de material.
Carga Horária
Carga Horária de Contacto -
Trabalho Autónomo - 98.0
Carga Total -
Bibliografia
Principal
- Stephen G. Simpson: Topics in Logic and Foundations. Apontamentos disponíveis em // Course notes available in http://www.math.psu.edu/simpson/notes/: