SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:

Unidade Responsável:

Código:

Nome:

Carga Horária Teórica:

0 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:

Sim

Método de Avaliação:

CONCEITO

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:

Não

Necessita de Orientador:

Não

Exige Horário:

Sim

Permite CH Compartilhada:

Não

Permite Múltiplas Aprovações:

Não

Quantidade de Avaliações:

Ementa/Descrição:

APRESENTAÇÃO DA FORMULAÇÃO EM DEDUÇÃO NATURAL E EM CÁLCULO DE SEQÜENTES DE SISTEMAS LÓGICOS E DEMONSTRAÇÃO DOS TEOREMAS DE ELIMINAÇÃO DO CORTE E NORMALIZAÇÃO, E DO PRINCIPIO DE SUBFORMULA. APRESENTAÇÃO DO ISOMORFISMO CURRY-HOWARD, DO CÁLCULO LAMBDA, CÁLCULO LAMBDA TIPIFICADO E SUAS DIVERSAS CONEXÕES COM SISTEMAS DE DEDUÇÃO E TEORIA DOS TIPOS.

Histórico de Pré-Requisitos
Expressão de Pré-Requisito	Status	Início da Vigência	Fim da Vigência
( ( DFS0015 ) )	ATIVO	13/04/2011
( ( DFS0015 ) )	INATIVO	26/04/2007	09/07/2017

Histórico de Equivalências
Expressão de Equivalência	Ativa	Início da Vigência	Fim da Vigência
( DEF0400 )	ATIVO	13/04/2011
( DEF0400 )	INATIVO	26/04/2007	09/07/2017

Currículos
Código	Ano.Período de Implementação	Matriz Curricular	Obrigatória	Período	Ativo
04A	2011.1	ODONTOLOGIA - NATAL - BACHARELADO - Presencial - MT	Sim	1	Não
05	2013.1	ODONTOLOGIA - NATAL - BACHARELADO - Presencial - MT	Sim	1	Não
04	2007.1	ODONTOLOGIA - NATAL - BACHARELADO - Presencial - MT	Sim	1	Não
05A	2016.1	ODONTOLOGIA - NATAL - BACHARELADO - Presencial - MT	Não	0	Não

<< Voltar