Tópicos de Álgebra
Código: 22217
Departamento: DCET
ECTS: 10
Área científica: Matemática
Total de horas trabalho: 260
Total de horas de contacto: 40

A álgebra universal e a teoria dos reticulados são campos da matemática em franco desenvolvimento nos últimos 30 anos, em parte devido ao seu uso na descrição teórica de sistemas computacionais. Esta UC visa proporcionar o desenvolvendo de competências nestas áreas. A ênfase será no seu uso como ferramenta matemática.
 

reticulados

álgebra universal

 

Ao concluir esta unidade curricular o estudante deverá estar capaz de:

 - descrever os objetos e resultados elementares da teoria de reticulados e da álgebra universal;

 - resolver problemas do tipo calcular e manipular em reticulados;

 - enunciar e provar o teorema de variedades de Birkhoff, bem como relacionar o teoria de Birkhoff com os problemas de lógica equacional mais vulgares.

 

1. Teoria dos reticulados

2. Álgebra Universal. Teorema de Birkhoff para variedades de álgebras.

 

 

Stanley Burris, H.P.Sankappanavar, A First Course in Universal Algebra, free online addition, 2022.

 

E-learning

A avaliação tem caráter individual e implica a coexistência de duas modalidades: avaliação contínua (60%) e avaliação final (40%). Essa avaliação será desenvolvida na aplicação de formas diversificadas, definidas no Contrato de Aprendizagem da unidade curricular.