Universidade Federal Rural de Pernambuco Recife, 04 de Agosto de 2025

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular: MÓDULO
Unidade Responsável: DEPARTAMENTO DE ESTATÍSTICA E INFORMÁTICA-DEINFO (11.01.40)
Código: 06239
Nome: INTRODUÇÃO À 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 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
Quantidade de Avaliações:
Ementa/Descrição: Autômatos: Finitos, a Pilha e Máquina de Turing (linearmente limitada). Linguagens Formais: Regular, Livre e Sensível ao Contexto, Estrutura de Frases. Hierarquia de Chomsky. Aplicações em compiladores. Computabilidade: modelos computacionais (funções recursivas, linguagens de programação), funções não computáveis, problema da parada, decidibilidade.
Equivalência(s) Específica(s)
Equivalências Específicas Matriz Curricular Currículo Início da Vigência Fim da Vigência
( 06223 ) LICENCIATURA EM COMPUTAÇÃO - RECIFE - LICENCIATURA - Presencial - N 25B - 2007.1 2005.2
( 14361 ) BACHARELADO EM SISTEMAS DE INFORMAÇÃO - RECIFE - BACHARELADO - Presencial - M SIN01 - 2009.1 2005.2
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
LICENCIATURA EM COMPUTAÇÃO - RECIFE - LICENCIATURA - Presencial - N - 2007.1 - 25B ( 06236 ) E ( 06203 ) Pré-Requisito 2005.1 .
BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO - RECIFE - BACHARELADO - Presencial - T - 2012.1 - CCP02 ( 14203 ) E ( 14204 ) Pré-Requisito 2017.2 .
BACHARELADO EM SISTEMAS DE INFORMAÇÃO - RECIFE - BACHARELADO - Presencial - M - 2009.1 - SIN01 ( 06203 ) Pré-Requisito 2009.1 .
Currículos
Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo
SIN01 2009.1 BACHARELADO EM SISTEMAS DE INFORMAÇÃO - RECIFE - BACHARELADO - Presencial - M Sim 2 Não
25B 2007.1 LICENCIATURA EM COMPUTAÇÃO - RECIFE - LICENCIATURA - Presencial - N Sim 2 Não
CCP02 2012.1 BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO - RECIFE - BACHARELADO - Presencial - T Não 0 Sim

SIGAA | Secretaria de Tecnologias Digitais (STD) - https://servicosdigitais.ufrpe.br/help | Copyright © 2006-2025 - UFRN - producao-jboss06.producao-jboss06 v4.17.3-1