Tópicos de Álgebra
Cod: 22217
Department: DCET
ECTS: 10
Scientific area: Mathematics
Total working hours: 260
Total contact time: 40

Lattice Theory and Universal Algebra are fields of mathematics that have seen rapid development in the last 30 years, in part due to their use in the theoretical description of computational systems. This UC aims to develop competencies in these areas. Emphasis will be in their use as a mathematical tool.

Lattices

Universal Algebra

 

Upon completion of this curricular unit, the student must be able to:

 - Describe the objects and elementary results of lattice theory and universal algebra; 

- solve problems involving the calculation and manipulations within lattices; 

- state and prove Birkhoff's theorem on varieties, and relate Birkhoff's theory to the most common problems in equational logic;

 

1. Lattice Theory, 

2. Universal Algebra. Birkhoff’s Theorem for varieties of algebras.

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

E-learning

Evaluation is made on an individual basis, and it involves the coexistence of two modes: continuous assessment (60%) and final evaluation (40%). Further information is detailed in the Learning Agreement of the course unit.