Código: 23016
ECTS: 10
Departamento: Departamento de Ciências e Tecnologia
Área Científica: Tecnologias de Informação e Comunicação
Docente:
Michael Kinyon
Área Científica: matemática
Correio Eletrónico: mkkinyonuniaberta@gmail.com
Sinopse:
Esta UC visa proporcionar os conhecimentos e competências fundamentais acerca dos princípios, conceitos e técnicas da área do raciocínio automático aplicado à álgebra abstracta, nomeadamente, princípios do raciocínio automático e raciocínio equacional; modelação de problemas da álgebra para o raciocínio automático; estratégias de demonstração automática de teoremas; utilização efectiva dos amis avançados demonstradores automáticos de teoremas e construtores de modelos finitos.
Competências:
Ao concluir esta unidade curricular o aluno deverá ser capaz de:
1. Reconhecer a importância do raciocínio automático na álgebra abstracta contemporânea, tanto nos sucessos como nas limitações.
2. Identificar, classificar e integrar os princípios, modelos, algoritmos e técnicas do raciocínio automático aplicada à álgebra;
3. Identificar, analizar, categorizar e avaliar o software de raciocínio automático disponível; aplica-lo a problemas na teoria de quasigrupos, semigrupos, etc.
Bibliografia:
- “Automated Reasoning and Discovery of Missing and Elegant Proofs”, L. Wos and G. W. Pieper, Rinton Press,2003, ISBN:1-58949-023-1
- “Automated Reasoning: Introduction and Applications”, L. Wos, R. Overbeek, E. Lusk and J. Boyle, McGraw-Hill, 1992, ISBN: 007911251X
- “Handbook of Automated Reasoning”, A. Robinson and A. Voronkov (Ed.), Elsevier, ISBN
978-0-444-50813-3, online edition: http://www.sciencedirect.com/science/book/9780444508133
- “Loop Theory”, A. Drapal, M. Kinyon and P. Vojtechovsky, manuscript
Total de Horas de Trabalho: 260
Total de Horas de Contacto: 10
ECTS: 10
Departamento: Departamento de Ciências e Tecnologia
Área Científica: Tecnologias de Informação e Comunicação
Docente:
Michael Kinyon
Área Científica: matemática
Correio Eletrónico: mkkinyonuniaberta@gmail.com
Sinopse:
Esta UC visa proporcionar os conhecimentos e competências fundamentais acerca dos princípios, conceitos e técnicas da área do raciocínio automático aplicado à álgebra abstracta, nomeadamente, princípios do raciocínio automático e raciocínio equacional; modelação de problemas da álgebra para o raciocínio automático; estratégias de demonstração automática de teoremas; utilização efectiva dos amis avançados demonstradores automáticos de teoremas e construtores de modelos finitos.
Competências:
Ao concluir esta unidade curricular o aluno deverá ser capaz de:
1. Reconhecer a importância do raciocínio automático na álgebra abstracta contemporânea, tanto nos sucessos como nas limitações.
2. Identificar, classificar e integrar os princípios, modelos, algoritmos e técnicas do raciocínio automático aplicada à álgebra;
3. Identificar, analizar, categorizar e avaliar o software de raciocínio automático disponível; aplica-lo a problemas na teoria de quasigrupos, semigrupos, etc.
Bibliografia:
- “Automated Reasoning and Discovery of Missing and Elegant Proofs”, L. Wos and G. W. Pieper, Rinton Press,2003, ISBN:1-58949-023-1
- “Automated Reasoning: Introduction and Applications”, L. Wos, R. Overbeek, E. Lusk and J. Boyle, McGraw-Hill, 1992, ISBN: 007911251X
- “Handbook of Automated Reasoning”, A. Robinson and A. Voronkov (Ed.), Elsevier, ISBN
978-0-444-50813-3, online edition: http://www.sciencedirect.com/science/book/9780444508133
- “Loop Theory”, A. Drapal, M. Kinyon and P. Vojtechovsky, manuscript
Total de Horas de Trabalho: 260
Total de Horas de Contacto: 10