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

Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:

DISCIPLINA

Unidade Responsável:

INSTITUTO DE MATEMÁTICA E COMPUTACÃO (11.49)

Código:

SIF610

Nome:

Introdução à Teoria da Computação

Carga Horária Teórica:

48 h.

Carga Horária Prática:

0 h.

Carga Horária de Ead:

0 h.

Carga Horária Total:

48 h.

Pré-Requisitos:

Co-Requisitos:

Equivalências:

Excluir da Avaliação Institucional:

Não

Matriculável On-Line:

Sim

Horário Flexível da Turma:

Não

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

Quantidade de Avaliações:

Ementa/Descrição:

computabilidade: noção intuitiva, modelos computacionais, equivalência entre modelos e tese de church, funções não-computáveis e o problema da parada. enumerabilidade e decidibilidade: problemas não-decidíveis e semi-decidíveis. linguagens formais e autômatos: sistemas de estados finitos, autômatos finitos, linguagens regulares, expressões regulares, gramáticas regulares, autômatos com pilha, linguagens livres de contexto e gramáticas livres de contexto, hierarquia de chomsky.

Outros componentes que têm esse componente como pré-requisito
CIC220 - COMPILADORES
CIC220.1 - Compiladores
CIC220.2 - Compiladores (Prática)

Currículos
Código	Ano.Período de Implementação	Matriz Curricular	Obrigatória	Período	Ativo
0172009	2009.1	SISTEMAS DE INFORMAÇÃO - Itajubá - BACHARELADO - Presencial - N	Sim	4	Sim

<< Voltar