Complexidade - 2006/2007

• Encontra aqui a seguinte informação sobre a disciplina: objectivos, programa, bibliografia, método de avaliação, datas das provas (confirmar!) e sumários das aulas teóricas do ano lectivo anterior. / uma
• Uma das versões do exame da época normal exame com uma correcção
  Um possível exame com uma correcção
  Uma correcção de uma das versões da primeira prova / Uma correcção de uma das versões da segunda prova / Uma correcção de uma das versões da terceira prova / Exemplo de um possível segundo teste (com correcção)
• Classificações (época normal)
• Classificações (época de recurso)
• Resolução de um problema proposto sobre indecidibilidade / Mais alguns exercícios de computabilidade / Artigo interessante de onde se pode obter (na segunda página) a ideia para implementar o DEC apenas com INC e FOR, respondendo a "Um exercício extra sobre programas FOR" / Que concluir de uma redução entre problemas de decisão?

Variado...:

• Ficheiro for.tgz com um interpretador da linguagem FOR. Deve dar a este ficheiro o nome for.tgz e desempacotar com o comando tar -zxvf for.tgz
  Leia o ficheiro README.
  
• Ficheiro análogo, while.tgz para a linguagem WHILE. Desempacotamento com tar -zxvf while.tgz
•   Um exercício extra sobre programas FOR: mostre que a instrução "DEC" é dispensável, isto é, que pode ser implementada só com instruções "INC" e "FOR".