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

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

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.