Disciplina Curricular
Teoria dos Modelos TMod
Doutoramento Bolonha em Matemática - 3_DMat 2016/17 - em vigor
Peso
7.5 (para cálculo da média)
Objectivos
Introduzir o aluno doutoral à teoria de modelos e às suas técnicas principais, tendo em conta uma possível dissertação que se apoie nesta temática. Pretende-se que os tópicos da unidade curricular sejam também interessantes para o aluno não especialista em lógica matemática. Por isso, a disciplina não deve focar tópicos demasiado especializados (estes tópicos devem ser deixados ao aluno especialmente motivado).
Programa
Sugerem-se três tópicos principais, abordando-se pelo menos dois deles. Esta sugestão pode não ser seguida caso se decida focar profundamente num só tópico (caso o curso tenha somente estudantes de lógica) ou se decida incluir um novo tópico. Para cada tópico escolhido, sugere-se fortemente a discussão de, pelo menos, o seguinte: (1) Noções elementares da teoria de modelos. (2) Eliminação de quantificadores, critérios e exemplos. (3) Aplicações da teoria de modelos.
Métodos de ensino e avaliação
Exposição teórica. Trabalhos para casa dados durante a aula teórica. Possível discussão oral.