3 Objectivos
Existem limites à capacidade de resolução de problemas por um
computador, mesmo na hipótese “idealista” de ausência de restrições,
que sejam essas o tempo (de execução) ou o espaço (memória).
Para delinear esses limites, visaremos:
-
perceber a capacidade de computação das máquinas, assim como os
seus limites teóricos. Precisaremos de definir formalmente o que é e
o que não é um programa, um algoritmo, ou mais genericamente o que é
um tratamento efectivo;
- perceber os conceitos que fundamentam as
linguagens de programação. Precisaremos de determinar e estudar
formalmente as construções que determinam a expressividade (ou
capacidade de computação) das linguagens de programação assim como o
comportamento dos programas.