SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:

MÓDULO

Unidade Responsável:

DIRETORIA GERAL E ACADÊMICA DA UNIDADE ACADÊMICA DE BELO JARDIM–UABJ (11.01.65)

Código:

UAB00091

Nome:

TEORIA DA COMPUTAÇÃO

Carga Horária Teórica:

60 h.

Carga Horária Prática:

0 h.

Carga Horária de Ead:

0 h.

Carga Horária Dedicada do Docente:

0 h.

Carga Horária Total:

60 h.

Pré-Requisitos:

Co-Requisitos:

Equivalências:

Matriculável On-Line:

Sim

Horário Flexível da Turma:

Sim

Horário Flexível do Docente:

Sim

Obrigatoriedade de Nota Final:

Sim

Pode Criar Turma Sem Solicitação:

Sim

Necessita de Orientador:

Não

Possui Subturmas:

Não

Exige Horário:

Sim

Ementa/Descrição:

Propriedades e operações com linguagens. Expressões regulares e gramáticas. Modelos de reconhecedores: autômatos finitos, autômatos a pilha, autômatos linearmente limitados, máquinas de Turing. Teorema de Kleene, equivalência entre autômatos à pilha e gramáticas. Hierarquia de Chomsky: linguagens regulares, livre de contexto, sensíveis ao contexto e recursivas. Propriedades de linguagens e funções recursivas. Tese de Church. Problemas indecidíveis: problema da parada, problema da correspondência de Post, redução entre problemas. Classes de problemas: P, NP, NP Completo.

Expressões específicas de currículo cadastradas para este componente
Currículo	Expressão	Tipo	Início da Vigência	Fim da Vigência
BACHARELADO EM ENGENHARIA DA COMPUTAÇÃO - UABJ - BELO JARDIM - BACHARELADO - Presencial - INTEGRAL - 2019.2 - ENGC01	( ( UAB00067 ) E ( UAB00068 ) )	Pré-Requisito	2020.1	.

Currículos
Código	Ano.Período de Implementação	Matriz Curricular	Obrigatória	Período	Ativo
ENGA01	2019.2	BACHARELADO EM ENGENHARIA DE CONTROLE E AUTOMAÇÃO - UABJ - BELO JARDIM - BACHARELADO - Presencial - INTEGRAL	Não	0	Sim
ENGC01	2019.2	BACHARELADO EM ENGENHARIA DA COMPUTAÇÃO - UABJ - BELO JARDIM - BACHARELADO - Presencial - INTEGRAL	Sim	7	Sim

<< Voltar