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

Aprender a trabalhar com modelos computacionais comuns: autómatos finitos, máquinas de Turing e autómatos celulares. Entender e saber utilizar os conceitos de maquinismo, linguagem formal, gramática, recursos computacionais. Compreender e aprofundar os conceitos de ''tarefa'' algorítmica e de ''tarefa'' não algorítmica. Conhecer os limites para ''tarefas'' algorítmicas. Entender a computação como conceito físico-matemático e não como conceito puramente matemático. Experimentar conceitos e técnicas em ambientes computacionais interactivos.