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.