Título:

Pretende-se que o aluno compreenda: como se podem representar problemas reais utilizando modelos computacionais abstratos; as capacidades e limitações relativas dos vários modelos; as relações entre linguagens e modelos; o conceito de uma linguagem "ser reconhecível" num determinado modelo de computação; que há linguagens que são indecidíveis, em especial no modelos das Máquina de Turing; o conceito de complexidade de um problema, conseguindo determinar a complexidade de alguns problemas; e, finalmente, a diferença entre tratável e intratável.