Licenciatura Bolonha em Engenharia Informática e de Computadores - Alameda

Desenvolver o raciocínio matemático rigoroso. Dominar os instrumentos matemáticos necessários para a análise de procedimentos e algoritmos, quer quanto à sua correcção, quer quanto à sua eficiência (no tempo e no espaço).

Licenciatura (5 anos) em Engenharia Informática e de Computadores - Alameda

Objectivos Gerais

{pt_PT=Develop rigorous mathematical reasoning. Master the mathematical tools for algorithm and procedure analysis, focusing both on (partial and total) correctness and (space and time) complexity. , en_GB=Develop rigorous mathematical reasoning. Master the mathematical tools for algorithm and procedure analysis, focusing both on (partial and total) correctness and (space and time) complexity. }

Objectivos Operacionais

{pt_PT=Apreender e experimentar computacionalmente em Mathematica os conceitos, resultados e técnicas de teoria dos números, polinómios, funções geradoras, recorrências e lógica dinâmica úteis na análise de procedimentos e algoritmos. Contactar com aplicações a desenvolver e aprofundar em disciplinas a juzante. , en_GB=Know and experiment, using Mathematica, the concepts, results and techniques of number theory, polynomials, generating functions, recurrences, and dynamic logic that are useful in the analysis of procedures and algorithms. Contact with applications to be developed in ulterior courses. }