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.