Á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.

– Denecke, K. & Wismath, S. L. – Universal Algebra and Applications in Theoretical Computer Science, Chapman & Hall/CRC, Boca Raton, Florida, 2002. 

– 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.

Cursos

Cursos onde a unidade curricular é leccionada: