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

Objectivos Gerais

{pt_PT=Desenvolver o raciocínio matemático rigoroso. Dominar os instrumentos matemáticos necessários para compreender os limites da computação e diversos modelos de computação. , en_GB=Develop rigorous mathematical reasoning. Master the mathematical tools to understand the notion of computability and its limitations and several computation models.}

Objectivos Operacionais

{pt_PT=Aprender a trabalhar com modelos computacionais comuns, desde os autómatos finitos às máquinas de registos. Entender e saber utilizar a teoria das linguagens regulares. Compreender o conceito de computabilidade e seus limites. Perceber a distinção entre sintaxe e semântica. , en_GB=Use of common computational models such as finite automata and register machines. Know and apply the theory of regular languages. Understand the notion of computability and its limitations. Recognize the difference between syntax and semantics. }