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) |
| Curso: |
MESTRADO EM MATEMÁTICA APLICADA E ESTATÍSTICA/PPGMAE - NATAL |
| Código: |
PGMAE0029 |
| Nome: |
ÁLGEBRA PARA COMPUTAÇÃO |
| Carga Horária Teórica: |
60 h. |
| Carga Horária Prática: |
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 |
| 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: |
Não |
| Necessita de Orientador: |
Não |
| Exige Horário: |
Sim |
| Permite CH Compartilhada: |
Não |
| Quantidade de Avaliações: |
1 |
| 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. |
| Referências: |
1. Burris, S. and Sankappanavar, H. P. A Course in Universal Algebra, 2012.
2. Thomas W. Hungerford. Algebra (Graduate Texts in Mathematics) (v. 73), 2003.
3. Jaroslav Jezek, Universal Algebra, 2008.
4. A. Troelstra, H. Schwichtenberg. Basic Proof Theory. Cambridge University Press, 2000. |
|
|
