CI059 - Introdução à Teoria da Computação | ||
Pré-requisito(s): Bloco A | Período: semestral | Natureza: obrigatória |
Carga-horária: 60 horas | Aulas práticas: 30 horas | Aulas teóricas: 30 horas |
Créditos: 3 |
![]() |
![]() |
Ementa: Linguagem regulares, livres de contexto, sensível a contexto. Autômatos, máquina de Turing. Computabilidade. Problema da parada. Noções de Lambda calculus, funções recursivas e computabilidade. |