Álgebra Universal e Reticulados
Objetivos
Pretende-se que o estudante adquira conhecimentos básicos de Álgebra Universal e Teoria de Reticulados, o que permitirá estudos futuros mais aprofundados na área e o estudo das aplicações à ciência da computação teórica. Pretende-se, ainda, que o estudante encare estruturas estudadas ao nível do 1º ciclo como exemplos de álgebras no sentido agora estabelecido e reconheça que muitos resultados provados anteriormente para cada uma delas são corolários de resultados estabelecidos neste contexto. O estudante deve também reconhecer a interligação entre a Álgebra Universal e a Teoria de Reticulados.
Caracterização geral
Código
8529
Créditos
6.0
Professor responsável
Herberto de Jesus da Silva
Horas
Semanais - 4
Totais - 54
Idioma de ensino
Português
Pré-requisitos
Conhecimentos básicos sobre algumas estruturas algébricas, nomeadamente, grupos e anéis.
Bibliografia
1 – Burris, S. & Sankappanavar, H. P. – A Course in Universal Algebra – Springer Verlag, New York, 1981.
2 – Davey, B. A. & Priestley, H. A. – Introduction to Lattices and Order, Cambridge Mathematical Textbooks, 1990.
3 – Denecke, K. & Wismath, S. L. – Universal Algebra and Applications in Theoretical Computer Science, Chapman & Hall/CRC, Boca Raton, Florida, 2002.
4 – Gratzer, G. – Lattice Theory: Foundation, Birkhauser Verlag, Basel, 2011.
5 – McKenzie, R. N. & McNulty, G. F. & Taylor, W. F. – Algebras, Lattices, Varieties Vol. I – Wadsworth & Brooks, California, 1987.
Método de ensino
As aulas são teórico-práticas e consistem na exposição da teoria, que é ilustrada com exemplos de aplicação, e na resolução de exercícios.
Método de avaliação
Álgebra Universal e Reticulados
Regras de Avaliação 2020-2021
1. Requisitos
Só poderão efectuar qualquer das provas os alunos que se tenham inscrito no CLIP, dentro do prazo definido para o efeito, e que no acto da prova sejam portadores de um caderno de teste (em branco), do Cartão de Cidadão (ou Bilhete de Identidade) e do Cartão de Estudante válidos.
2. Avaliação contínua
Realizam-se dois testes durante o semestre.
a) Podem apresentar-se a qualquer dos testes todos os alunos inscritos na disciplina.
b) A classificação dos testes, CT, obtém-se fazendo a média aritmética das classificações, não arredondadas, obtidas nos testes. Se a CT (arredondada às unidades) for inferior 10 o aluno pode apresentar-se a exame. Se CT (arredondada às unidades) for superior, ou igual, a 10, o aluno fica aprovado com essa classificação.
3. Exame
a) Todo o aluno ainda não aprovado e que esteja inscrito na disciplina pode apresentar-se a exame.
b) Se a classificação, arredondada às unidades, for inferior a 10, o aluno reprova. Se a classificação, arredondada às unidades, for superior, ou igual, a 10, o aluno fica aprovado com essa classificação.
4. Melhoria de nota
a) Todo o aluno que pretenda obter melhoria de nota deve cumprir, para esse efeito, as formalidades legais de inscrição.
b) Para obter melhoria de nota, é necessário que o aluno se apresente a exame.
c) A classificação é obtida de acordo com b) do ponto 3. Se este resultado for superior ao já obtido anteriormente na disciplina, será tomado como nota final. Caso contrário, não se verifica melhoria de nota.
Conteúdo
1. Conjuntos parcialmente ordenados. Reticulados. Reticulados completos. Reticulados algébricos. Reticulados modulares. Reticulados distributivos. Reticulados de Boole e álgebras de Boole.
2. Álgebras. Homomorfismos. Subuniversos e subálgebras. Congruências. Produtos directos.
3. Teorema do Homomorfismo e teoremas do isomorfismo. Congruências factor e álgebras directamente indecomponíveis. Produtos subdirectos. Álgebras subdirectamente irredutíveis e álgebras simples.
4. Operadores de classe e variedades. Teorema de Tarski.
5. Álgebras livres. Termos e álgebras-termo. Identidades. Teorema de Birkhoff.