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:

PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA (12.51)

Código:

PGMAE0029

Nome:

ÁLGEBRA PARA COMPUTAÇÃO

Carga Horária Total:

60 h.

Pré-Requisitos:

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:

Não

Obrigatoriedade de Nota Final:

Sim

Pode Criar Turma Sem Solicitação:

Não

Necessita de Orientador:

Não

Exige Horário:

Não

Ementa/Descrição:

Reticulados, operadores de fecho, conexão de Galois, álgebra universal, indução estrutural, álgebra de Boole, álgebra de Heyting, ultra-produtos. Aplicações em: lógica clássica de primeira ordem, lógica intuicionista, teoria de modelos, semântica, computações simbólicas em álgebras lineares.

Histórico de Pré-Requisitos
Expressão de Pré-Requisito	Status	Início da Vigência	Fim da Vigência
( FON0049 )	ATIVO	31/07/2022
( FON0049 )	INATIVO	31/07/2022	20/07/2022

<< Voltar