Programa

Licenciatura em Engenharia Informática

Licenciatura em Engenharia Informática (PL)

Programa

I Notação matemática e técnicas de demonstração Objectos matemáticos básicos: conjuntos, funções, relações e linguagens; Lógica, demonstrações e o princípio de indução matemática. II Autómatos Finitos e Linguagens Regulares Linguagens regulares e expressões regulares. Autómatos finitos deterministas e não deterministas. Reconhecimento de linguagens regulares. III Autómatos de Pilha e Linguagens Livres de Contexto Linguagens livres de contexto e gramáticas livres de contexto. Autómatos de pilha. Reconhecimento de linguagens livres de contexto. IV Máquinas de Turing e Linguagens Recursivamente Enumeráveis Linguagens Recursivamente Enumeráveis. Máquinas de Turing. Tese de Church-Turing.