Código: 23017
ECTS: 10
Departamento: Departamento de Ciências e Tecnologia
Área Científica: Matemática
Docente:
James Mitchell
Área Científica: matemática
Correio Eletrónico: jdm3@st-andrews.ac.uk

Sinopse:
O objectivo da UC é fornecer conhecimento e competências fundamentais relativas aos princípios, conceitos, modelos e técnicas da álgebra computacional aplicada à teoria de grupos e semigrupos, nomeadamente:

1. modelação de problemas algébricos algoritmicamente;
2. aplicação de computação de alto nível para resolver problemas em aberto;
3. implementação de softwares.
   

Competências:
No fim desta UC espera-se que o aluno seja capaz de:

• Reconhecer a importância da álgebra computacional na álgebra abstracta contemporânea, tanto nos seus sucessos como nas suas limitações;
• Identificar, classificar e integrar os princípios, principais modelos, algoritmos e técnicas da álgebra computacional;
• Identificar, analizar, categorizar e avaliar implementações existentes; desenvolver software novo para resolver problemas em teoria de semigrupos;
• Programar no sistema de computação algébrica Groups, Algorithms, and Programming (GAP - www.gap-system.org)
  

Bibliografia:
- “Fundamentals of Semigroup Theory”, J. M. Howie, Oxford University Press, 1995.
- “Handbook of computational group theory”, D. Holt with B. Eick and E. O'Brien, CRC Press, 2004.
- “Permutation groups”, J. D. Dixon and B. Mortimer, Springer-Verlag, 1996.
- “Inverse Semigroups”, M. V. Lawson, World Scientific, 1998.
- The GAP Group, GAP -- Groups, Algorithms, and Programming, Version 4.4.12; 2008. (http://www.gap-system.org).

Metodologias de Ensino:
E-learning

Total de Horas de Trabalho: 260
Total de Horas de Contacto: 10