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:

DECANATO DE PÓS-GRADUAÇÃO / DPG (11.01.08)

Código:

DPG0759

Nome:

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:

Excluir da Avaliação Institucional:

Não

Matriculável On-Line:

Não

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:

Ementa:

- Revisão dos fundamentos teóricos da computação: geração e reconhecimento de linguagens formais e funções computáveis.- Fundamentos de programação lógica: noções de lógica matemática, unificação, teoria de pontos fixos, programas definidos, tratamento de informação negativa computabilidade de funções recursivas com programas lógicos.- Fundamentos de teoria de reescrita: lambda cálculo, sistemas abstratos de reescrita, sistemas de reescrita de termos e computabilidade de funções recursivas com sistemas de reescrita.

Outros componentes que têm esse componente como pré-requisito
DPG1190 - MONITORIA EM TEORIA DA COMPUTAÇÃO

Currículos
Código	Ano.Período de Implementação	Matriz Curricular	Obrigatória	Ativo
1856/2	2021.2	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Sim
1899/-4	2007.2	COMPUTAÇÃO/CIC - Licenciatura - Presencial - N	Não	Sim
1899/-3	2012.2	COMPUTAÇÃO/CIC - Licenciatura - Presencial - N	Não	Sim
1856/-7	2011.1	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Sim
1899/-2	2015.2	COMPUTAÇÃO/CIC - Licenciatura - Presencial - N	Não	Sim
1856/1	2018.2	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Sim
1856/-2	2016.1	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Sim
1856/-4	2015.1	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Sim
1856/-3	2015.2	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Sim
1856/-6	2012.1	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Sim
1856/-5	2012.2	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Sim
1899/1	2016.1	COMPUTAÇÃO/CIC - Licenciatura - Presencial - N	Não	Sim

<< Voltar