Objectivos

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. Entender e saber utilizar os mecanismos da lógica clássica proposicional e de primeira ordem. Compreender o conceito de computabilidade e seus limites. , en_GB=Use of common computational models such as finite automata and register machines. Know and apply the theory of regular languages. Formalize reasoning and use of deductive systems within propositional and first order logics. Understand the notion of computability and its limitations. }

Licenciatura (5 anos) em Engenharia de Redes de Comunicação e de Informação

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. Entender e saber utilizar os mecanismos da lógica clássica proposicional e de primeira ordem. Compreender o conceito de computabilidade e seus limites. , en_GB=Use of common computational models such as finite automata and register machines. Know and apply the theory of regular languages. Formalize reasoning and use of deductive systems within propositional and first order logics. Understand the notion of computability and its limitations. }