Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO /IC (12.28.01)
Código:	MATA51A
Nome:	TEORIA DA COMPUTAÇÃO
Carga Horária Teórica:	34 h.
Carga Horária Prática:	34 h.
Carga Horária de Ead:	0 h.
Carga Horária Total:	68 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:	( ( MAT158A OU MAT158 ) ) OU ( MATA51 )
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
Permite Múltiplas Aprovações:	Não
Quantidade de Avaliações:	1
Módulo:	40
Ementa/Descrição:	Modelos e Computação: máquinas de Turing, funções recursivas, - Cálculus, Tese de Church, Linguagens inumeráveis, recursivamente enumeráveis e recursivas. Decibilidade. Redução. Problemas indecidíveis. Incompletude da aritmética.
Outros componentes que têm esse componente como equivalente MAT158 - TEORIA DA COMPUTACAO MATA51 - TEORIA DA COMPUTAÇÃO
Histórico de Equivalências Expressão de Equivalência Ativa Início da Vigência Fim da Vigência ( ( MAT158A OU MAT158 ) ) OU ( MATA51 ) ATIVO 01/01/2022
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo 111120D 2008.1 MATEMÁTICA - SALVADOR - LICENCIATURA - Presencial - MT Não 0 Não 111120C 2009.1 MATEMÁTICA - SALVADOR - LICENCIATURA - Presencial - MT Não 0 Não 111120B 2009.2 MATEMÁTICA - SALVADOR - LICENCIATURA - Presencial - MT Não 0 Não 111120A 2022.2 MATEMÁTICA - SALVADOR - LICENCIATURA - Presencial - MT Não 0 Não 111130A 2008.1 MATEMÁTICA - SALVADOR - BACHARELADO - Presencial - MT Não 0 Não 112140C 2007.2 CIÊNCIA DA COMPUTAÇÃO - SALVADOR - BACHARELADO - Presencial - MT Sim 4 Não 112140B 2008.1 CIÊNCIA DA COMPUTAÇÃO - SALVADOR - BACHARELADO - Presencial - MT Sim 4 Não 112140A 2013.2 CIÊNCIA DA COMPUTAÇÃO - SALVADOR - BACHARELADO - Presencial - MT Sim 4 Não 183120C 2009.1 MATEMÁTICA - SALVADOR - LICENCIATURA - Presencial - N Não 0 Não 183120B 2009.2 MATEMÁTICA - SALVADOR - LICENCIATURA - Presencial - N Não 0 Não 183120A 2022.2 MATEMÁTICA - SALVADOR - LICENCIATURA - Presencial - N Não 0 Não

SIGAA | STI/SUPAC | - | Copyright © 2006-2026 - UFBA - sigaapl04.intranet.ufba.br v4.13.8_28-20260406