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

Licenciatura Bolonha em Engenharia de Telecomunicações e Informática

Aprender a trabalhar com modelos computacionais comuns, desde os autómatos finitos às máquinas de Turing. Entender e saber utilizar a teoria das linguagens regulares. Compreender os conceitos de computabilidade e decidibilidade. Entender e saber utilizar os mecanismos da lógica para raciocinar sobre programas imperativos. Experimentar os conceitos e técnicas em ambiente simbólico interactivo.

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. }

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. }