Disciplina Curricular

Novos Paradigmas da Computação NPC

Diploma de Estudos Avançados em Matemática - DEAMat2006

Peso

7.5 (para cálculo da média)

Objectivos

Conhecer paradigmas computacionais não convencionais. Dominar os diversos modelos de computação descritos através de sistemas dinâmicos discretos sobre os inteiros e sobre os reais.

Programa

Autómatos celulares (AC) (autómatos finitos, grafos regulares, regras locais e aplicações globais). AC lineares (regras lineares, dinâmica global). Autómatos semi-totalistas (regras semi-totalistas, completude computacional, regras totalistas restringidas, autómatos de limiar). Problemas de decisão (problemas algorítmicos e dinéticos, autómatos euclideanos uni- e bidimensionais, indecidibilidade da reversibilidade e da sobrejectividade, autómatos não euclideanos, complexidade). Redes neuronais (RN) e redes booleanas aleatórias (RA) (generalizações, paralelismo, RN universal, equivalência de AC, RN e RA, indecidibilidade do problema da estabilidade). Propriedades gerais (espaços métricos e topologias, não determinismo, generalizações combinatórias de espaços euclideanos). Classificação (redes finitas, classificação de Wolfram, conjuntos limite, teoria do campo médio, teoria de estrutura local). Comportamento assintótico (regras lineares, solução exacta, simulação em sistemas contínuos, observabilidade). Problemas inversos (sinais e sincronização, reconhecimento de linguagens). Computação nos reais (representação e primitivas, computação exacta e aproximada por RN).

Metodologia de avaliação

Problemas (45%), exame final (45%) e trabalho individual (10%).

Disciplinas Execução

2013/2014 - 2 Semestre

2012/2013 - 2 Semestre

2011/2012 - 2 Semestre

2010/2011 - 2 Semestre

2009/2010 - 2 Semestre

2008/2009 - 2 Semestre

2007/2008 - 2 Semestre

2006/2007 - 2 Semestre