Descrição:

Aprender a trabalhar com modelos computacionais comuns: autómatos finitos, autómatos de pilha e máquinas de Turing. 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 e recursos computacionais envolvidos numa computação. Entender a computação como conceito físico-matemático e não como conceito puramente matemático.