Código: 23015
ECTS: 10
Departamento: Departamento de Ciências e Tecnologia
Área Científica: Matemática
Docente:
Gilda Ferreira
Área Científica: matemática
Correio Eletrónico: Gilda.ferreira@uab.pt
Sinopse:
Esta UC visa proporcionar os conhecimentos e competências fundamentais acerca dos princípios, conceitos e técnicas das seguintes subáreas da Lógica: teoria da eliminação de quantificadores; elementos da teoria de modelos dos corpos; algoritmos em geometria real algébrica.
Competências:
Ao concluir esta unidade curricular o aluno deverá estar capaz de:
1. Reconhecer a importância da Lógica e da sua aplicação em fragmentos decidíveis da Matemática;
2. Identificar, classificar e integrar os princípios, conceitos e técnicas da Lógica e as suas aplicações a fragmentos decidíveis da Matemática.
Bibliografia:
- “A shorter model theory”, Hodges W.; Cambridge University Press, , ISBN: 0 521 58713 1;
- “Model theory of fields ”, Marker, D.; Messmer, M; Pillay, A.; Lecture Notes in Logic 5, Springer-Verlag, ISBN: 3 540 60741 2;
- “Algorithms in real algebraic geometry”, Basu, S.; Pollack, R.; Roy, M.-F.; Springer-Verlag, ISBN: 978 3 54033098 1.
Metodologias de Ensino:
E-learning
Total de Horas de Trabalho: 260
Total de Horas de Contacto: 10
ECTS: 10
Departamento: Departamento de Ciências e Tecnologia
Área Científica: Matemática
Docente:
Gilda Ferreira
Área Científica: matemática
Correio Eletrónico: Gilda.ferreira@uab.pt
Sinopse:
Esta UC visa proporcionar os conhecimentos e competências fundamentais acerca dos princípios, conceitos e técnicas das seguintes subáreas da Lógica: teoria da eliminação de quantificadores; elementos da teoria de modelos dos corpos; algoritmos em geometria real algébrica.
Competências:
Ao concluir esta unidade curricular o aluno deverá estar capaz de:
1. Reconhecer a importância da Lógica e da sua aplicação em fragmentos decidíveis da Matemática;
2. Identificar, classificar e integrar os princípios, conceitos e técnicas da Lógica e as suas aplicações a fragmentos decidíveis da Matemática.
Bibliografia:
- “A shorter model theory”, Hodges W.; Cambridge University Press, , ISBN: 0 521 58713 1;
- “Model theory of fields ”, Marker, D.; Messmer, M; Pillay, A.; Lecture Notes in Logic 5, Springer-Verlag, ISBN: 3 540 60741 2;
- “Algorithms in real algebraic geometry”, Basu, S.; Pollack, R.; Roy, M.-F.; Springer-Verlag, ISBN: 978 3 54033098 1.
Metodologias de Ensino:
E-learning
Total de Horas de Trabalho: 260
Total de Horas de Contacto: 10