Designação | Código | Curso | Regime | Regente |
---|---|---|---|---|
Dados e Computação | 14957 [J902N4] | Licenciatura em Engenharia Física [ENGFIS] | S2 | |
Objetivos | A Unidade Curricular percorre o programa proposto em círculos concêntricos ilustrando por recurso a uma linguagem de programação moderna as diversas estruturas introduzidas para modelação de dados e conhecimento, de modo a combinar a abordagem teórica/conceptual dos assuntos com a sua implementação e aplicação prática. Deste modo os dois últimos objetivos de aprendizagem são trabalhados em paralelo, reforçando-se mutuamente. O primeiro objetivo é trabalhado diretamente na primeira secção do programa, com a programação de pequenas animações. | |||
Programa | 1. Algoritmos e computabilidade. Autómatos e máquinas de Turing; recursividade e função computável; tese de Church-Turing; indecibilidade; completude NP | |||
Bibliografia | Lewis, H., Papadimitriou, C. (1998). Elements of the Theory of Computation. Prentice-Hall | |||
Resultados da aprendizagem | Esta unidade curricular visa introduzir os alunos às noções de computabilidade e estruturas discretas para modelação de dados, nomeadamente grafos e estruturas ordenadas. Os conceitos são animados laboratorialmente com recurso a uma linguagem de programação moderna de alto nível, multi-paradigma e de utilização geral. Assim, no final, os alunos serão capazes de | |||
Método de avaliação | - Projecto de programação em grupo (30%) | |||
Funcionamento | Turno: T 1; Docente: Paulo Jorge Sousa Azevedo; Dep.: DI; Horas: 30. |