Universidade do Estado do Rio Grande do Norte Mossoró, 12 de Março de 2026

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular: MÓDULO
Unidade Responsável: FANAT - CI - COORDENAÇÃO DE INFORMÁTICA (11.01.19.06.01)
Código: MDI0065
Nome: Teoria da Computação (08050601)
Carga Horária Teórica: 90 h.
Carga Horária Prática: 0 h.
Carga Horária de Ead: 0 h.
Carga Horária Total: 90 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências: ( NCC0065 )
Excluir da Avaliação Institucional: Não
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
Quantidade de Avaliações: 3
Ementa/Descrição: Máquina de Turing, Computabilidade efetiva, Funções recursivas, Tese de Church, Teorema de incompletude de Godel. Problemas Indecidíveis. Linguagens regulares, autômatos finitos, linguagens livres de contexto, autômatos com pilha, o problema da parada da máquina de Turing, hierarquia das classes de linguagem.
Histórico de Equivalências
Expressão de Equivalência Ativa Início da Vigência Fim da Vigência
( MFI0096 ) ATIVO 01/04/2023
( MFI0096 ) INATIVO 02/09/2023
Currículos
Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo
MCP1002 2013.1 CIÊNCIA DA COMPUTAÇÃO - MOSSORÓ - BACHARELADO - Presencial - MTN Sim 4 Não
MCP1001 2001.2 CIÊNCIA DA COMPUTAÇÃO - MOSSORÓ - BACHARELADO - Presencial - MT Sim 4 Não
NCP1003 2001.2 CIENCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Sim 4 Não

SIGAA | Superintendência de Tecnologia da Informação - STI/UERN - (84) 3315-2222 | Copyright © 2006-2026 - UFRN - sigs-hml.jboss01-hml vSNAPSHOT