Encontrados 2 documentos, a visualizar página 1 de 1
O Problema da Terminação de Programas
Mateus, Paulo; Instituto Superior TécnicoNeste artigo apresenta-se de forma simples e elementar a indecidi-bilidade do Problema da Terminação de Programas apresentado por Turingem 1936 em resposta ao Entscheidungsproblem de Hilbert. O resultado éapresentado no contexto de programas imperativos modernos em arquitec-tura de von Neumann, em vez de máquinas de Turing, para que o leitorque conhece rudimentos de programação se sinta confortável. Discute-se ...
Modelação espacial de redes ecológicas regionais: contributos e propostas para ...
Martins, Mário; Castro, Paulo; Mateus, Paulo; Ferreira, F.; Guerra, Carlos; Azevedo, João; Honrado, João Pradinho; Alonso, JoaquimOs intensos processos de industrialização, desenvolvimento urbano e infraestruturas, incluindo transportes e energia, assim como da intensificação da agricultura originaram fragmentação de áreas naturais, a interrupção de processos vitais e a perda significativa de biodiversidade e de serviços de ecossistemas. O desenvolvimento conceptual e operacional de redes ecológicas a diversas escalas, incluindo ...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||