Universidade de Brasília Brasília, 16 de Novembro de 2024

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular: DISCIPLINA
Unidade Responsável: DEPTO CIÊNCIAS DA COMPUTAÇÃO (11.01.01.15.01)
Código: CIC0161
Nome: AUTÔMATOS E COMPUTABILIDADE
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: ( ( MAT0034 ) OU ( MAT0038 ) )
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
Permite Múltiplas Aprovações: Não
Quantidade de Avaliações: 1
Ementa: Ementa:Linguagens regulares, livres de contexto, sensíveis ao contexto, recursivas, recursivamente enumeráveis e não recursivamente enumeráveis: reconhecedores e geradores. Computabilidade: máquinas de Turing e funções recursivas. Decidibilidade, redutibilidade. Complexidade: NP-completude, espaço-completude.
Outros componentes que têm esse componente como pré-requisito
CIC0410 - MONITORIA EM AUTÔMATOS E COMPUTABILIDADE
Histórico de Pré-Requisitos
Expressão de Pré-Requisito Status Início da Vigência Fim da Vigência
( ( MAT0034 ) OU ( MAT0038 ) ) ATIVO 01/08/2019
Currículos
Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo
1856/2 2021.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Sim 6 Não
1741/2 2024.2 ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Sim
1741/1 2016.1 ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não
6912/1 2018.2 ENGENHARIA MECATRÔNICA - CONTROLE E AUTOMAÇÃO/FTD - Engenheiro de Controle e Automação - Presencial - D Não 0 Não
1856/3 2025.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Sim 6 Sim
6912/-2 2016.2 ENGENHARIA MECATRÔNICA - CONTROLE E AUTOMAÇÃO/FTD - Engenheiro de Controle e Automação - Presencial - D Não 0 Não
1856/-2 2016.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Sim 6 Não
1856/-6 2012.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 6 Não
1856/-3 2015.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Sim 6 Não
1899/-2 2015.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim
1899/-3 2012.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim
1741/-2 2009.2 ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não
1856/1 2018.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Sim 6 Não
1856/-5 2012.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 6 Não
1856/-4 2015.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 6 Não
1899/-4 2007.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim
1899/1 2016.1 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim
1856/-7 2011.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 6 Não
6912/-3 2005.1 ENGENHARIA MECATRÔNICA - CONTROLE E AUTOMAÇÃO/FTD - Engenheiro de Controle e Automação - Presencial - D Não 0 Não

SIGAA | Secretaria de Tecnologia da Informação - STI - (61) 3107-0102 | Copyright © 2006-2024 - UFRN - app09.sigaa09 v4.9.10.124