Dados Gerais do Componente Curricular
| Tipo do Componente Curricular: |
DISCIPLINA |
| Unidade Responsável: |
PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA - PPGMAT (11.01.01.15.06) |
| Código: |
PPGMAT3594 |
| Nome: |
SEMINÁRIO DE COMPUTAÇÃO |
| Carga Horária Teórica: |
15 h. |
| Carga Horária Prática: |
0 h. |
| Carga Horária Total: |
15 h. |
| Pré-Requisitos: |
|
| Co-Requisitos: |
|
| Equivalências: |
( PPGI0048 ) OU ( PPGI0049 ) OU ( PPGI0050 ) OU ( PPGI0051 )
|
| 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 |
| Exige Horário: |
Sim |
| Permite CH Compartilhada: |
Não |
| Permite Múltiplas Aprovações: |
Sim |
| Quantidade Máxima de Matrículas: |
99 |
| Quantidade de Avaliações: |
1 |
| Ementa: |
|
| Referências: |
R. A. KOWALSKI LOGIC FOR PROBLEM SOLVING ED. NORTH 1979 HOLLAND J. W. LLOYD FOUNDATIONS OF LOGIC PROGRAMMING ED. SPRINGER 1984 VERLAG C. L. CHANG E R. C. T. LEE SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING ED. ACADEMIC 1973 PRESS H. B. ENDERTON A MATHEMATICAL INTRODUCTION TO LOGIC ED. ACADEMIC 1972 PRESS D. W. LOVELAND AUTOMATED THEOREM PROVING ED. HORTH 1978 HOLLAND Z. MANNA MATHEMATICAL THEORY OF COMPUTATION ED. MCGRAW HILL 1974 J. SHOENFIELD MATHEMATICAL LOGIC ED. WESLEY 1967 |
|
|
|
|
|
|
