Programa

Teoria da Computação

Licenciatura (5 anos) em Engenharia Informática e de Computadores - Taguspark

Programa

Linguagens regulares: autómatos finitos deterministas, equivalência e minimização de autómatos finitos deterministas, autómatos finitos não deterministas, gramáticas, expressões regulares. Lógica clássica: sintaxe, semântica, cálculo de Smullyan, cálculo de Gentzen, resolução e cálculo de Hilbert. Computabilidade: máquina URM, funções parciais recursivas, conjuntos recursivos e conjuntos recursivamente enumeráveis, existência de funções não computáveis, problemas clássicos da computabilidade e da decidibilidade (problema da paragem inter alia). Importância da noção de complexidade computacional.

Teoria da Computação

Licenciatura (5 anos) em Engenharia de Redes de Comunicação e de Informação

Programa

Linguagens regulares: autómatos finitos deterministas, equivalência e minimização de autómatos finitos deterministas, autómatos finitos não deterministas, gramáticas, expressões regulares. Lógica clássica: sintaxe, semântica, cálculo de Smullyan, cálculo de Gentzen, resolução e cálculo de Hilbert. Computabilidade: máquina URM, funções parciais recursivas, conjuntos recursivos e conjuntos recursivamente enumeráveis, existência de funções não computáveis, problemas clássicos da computabilidade e da decidibilidade (problema da paragem inter alia). Importância da noção de complexidade computacional.