Dados Gerais do Componente Curricular
| Tipo do Componente Curricular: |
DISCIPLINA |
| Unidade Responsável: |
PROGRAMA DE PÓS-GRADUAÇÃO EM INFORMÁTICA - PPGI (11.01.01.15.01.02) |
| Código: |
PPGI0076 |
| Nome: |
LINGUAGENS DECLARATIVAS |
| 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: |
( PPGI0075 )
|
| 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: |
Não |
| Quantidade de Avaliações: |
1 |
| Ementa: |
INTRODUCAO: SISTEMA FISICO DE SIMBOLOS PROCESSAMENTO SIMBOLICO LIN-GUAGENS DECLARATIVAS E IA LINGUAGEM FUNCIONAL PURA: REESCRITURA, FUN-COES PRIMITIVAS, PARADIGMA FUNCIONAL: EQUACIONAL, GUARDADAS, RECURSAO,CASAMENTO DE PADROES, POLIMORFISMO, AVALIACAO PREGUICOSA, FUNCOES DEALTA ORDEM, DEFINICAO LOCAL: APLICACOES. CONJUNTO FUNCIONAL PURO DOLISP LISP IMPERATIVO PROLOG: INTRODUCAO, FATOS E REGRAS ARITMETICA EESTRUTURA DE DADOS CONTROLANDO A EXECUCAO LOGICA E PROLOG PARAMETROSDE ACUMULACAO CONSTRUINDO PREDICADOS COM PARAMETROS BIDIRECIONAIS LIS-TAS DE ASSOCIACOES PROCESSAMENTO DE LISTAS E GRAFOS |
| Referências: |
ANDERSON, J.A.A.T. CORBETT & REDING MA ESSENTIAL LISP ED. ADDISEN- 1987 WESLEY MEIRA, SILVIO R. DE I. CAMPINAS INTRODUCAO A PROGRAMACAO FUNCIONAL ED. UNICAMP 1988 MARK , P. JONEES GOFER: FUNCIONAL PROGRAMMING ENVIROMENT, VERSION 2.2 1993 MICHAELSON, GREF READING MA AN INTROUCTION TO FUNCIONAL PROGRAMMING THROUGH ED. ADDISON- 1989 LAMBDA CALCULUS. REAGING MA WESLEY HANDERSIB, P. ENGLE WOOD CLIFS NJ FUNCIONAL PROGRAMMING: APLICATIONS AND IMPLE- ED. PRETICE- 1980 MENTATION. HALL CASANOVA, M.A CHORNO, F.A.C & SAO PAULO FURTADO AL PROGRAMACAO EM LOGICA E A LINGUAGEM PROLOG. ED. EDGARD 1987 BLUCHER AMBLE, T. LOGIC PROGRAMMING AND KNOWLEDG ENGIMEERING ED. ADDISON- 1987 WESKEY CLARK, K. L. & WCCABE, F. G. NEW YORK MICRO-PROLOG: PROGRAMMING IN LOGIC (013-581264- ED. PRETINCE- 1984 X). HALL CLOCKSIN, W. & MELLISH, C. NEW YORK PROGRAMMING IN PROLONG ED. SPRINGER- 1981 VERLAG MALPAS, J. ENGLEWOOD CLIFFS, NJ PROLOG: A RELACIONAL LANGUAGE AND ITS APPLICA- ED. PRENTICE- 1987 TIONS. HALL LLOYD, J.W. FOUDATIONS OF LOGIC PROGRAMMING ED. SPRINGER- 1987 VERLAG CLARK, K.L. & TARNLUND, S.A IRLANDO FL ED. ACADEMIC 1982 PRESS. |
|
|
|
|
|
|
