Carregando...

DISCIPLINA Listagem de Ementa/Programa

LINGUAGENS DECLARATIVASDISCIPLINA 316041

VER OFERTA

ÓrgãoCIC Departamento de Ciência da Computação
Código316041
DenominaçãoLinguagens Declarativas
NívelMestrado
Vigência1997/2
Pré-requisitosDisciplina sem pré-requisitos
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 DE
ALTA ORDEM, DEFINICAO LOCAL: APLICACOES. CONJUNTO FUNCIONAL PURO DO
LISP; LISP IMPERATIVO; PROLOG: INTRODUCAO, FATOS E REGRAS; ARITMETICA E
ESTRUTURA DE DADOS; CONTROLANDO A EXECUCAO; LOGICA E PROLOG; PARAMETROS
DE ACUMULACAO; CONSTRUINDO PREDICADOS COM PARAMETROS BIDIRECIONAIS; LIS-
TAS DE ASSOCIACOES; PROCESSAMENTO DE LISTAS E GRAFOS;

Programa

1. INTRODUCAO
1.1. SISTEMA FISICO DE SIMBOLOS
1.2. PROCESSAMENTO SIMBOLICO
1.3. LINGUAGENS DECLARATIVAS E IAI.
1.4. LINGUAGENS DECLARATIVAS VERSUS IMPERATIVAS
2. LINGUAGEM FUNCIONAL PARA
2.1. AMBIENTE E SINTAXE DA LINGUAGEM DE TRABALHO
2.2. DEFINICAO DE FUNCOES E OPERADORES:
2.3. TIPOS PRIMITIVOS: FUNCOES, BOOLEANOS, INTEIROS, REAIS, CARACTE-
RES, LISTAS, STRINGS, TUPLAS.
2.4. REGRAS DE REESCRITA
2.5. PARADIGMAS FUNCIONAL: EQUACIONAL, EQUACOES GUARDADAS, RECURSAO,
CASAMENTO DE PADROES, POLIMORFISMO, AVALIACAO PREGUICOSA, FUN-
COES DE ALTA ORDEM, E DEFINICAO LOCAL.
2.6. FUNCOES PRIMITAVAS: CONSTRUTORAS, SELETORAS, LOGICAS, COMPARA-
DORAS, PESQUISADORAS, RECONHECEDORAS, REDUTORAS, MAPEADORAS.
2.7. SECOES DE OPERADORES
2.8. FUNCOES SOBRE LISTAS E GRAFOS
2.9. ESTRUTURA DE DADOS INFINITAS
2.10. SEQUENCIAS ARITMETICAS
2.11. COMPREENSOES
2.12. EXPRESSOES LAMBDAS
3.0 CONJUNTO FUNCIONAL PURO DO LISP
3.1. AMBIENTE E SINTAXE DA LINGUAGEM DE TRABALHO
3.2. DEFINICAO DE FUNCOES
3.3. TIPOS PRIMITIVOS: BOOLEANOS, INTEIROS, RACIONAIS, CARACTERES,
STRINGS, LISTAS.
3.4. AVALIACAO GULOSA
3.5. PARADIGMAS FUNCIONAL: EQUACIONAL (COND), EQUACOES GUARDADAS
(PREDICADOS). RECURSAO, POLIMORFISMO, FUNCOES DE ALTA ORDEM
(FUNCALL, APPLY), E DEFINICAO LOCAL (LET).
3.6. FUNCOES PRIMITIVAS: CONSTRUTORAS, SELETORAS, LOGICAS, COMPADO-
RAS, PESQUISADORAS, RECONHECEDORAS, REDUTORAS, MAPEADORAS,
3.7. FUNCOES SOBRE LISTAS E GRAFOS
3.8. EXPRESSOES LAMBDAS
4.0 LISP IMPERATIVO
4.1. ATRIBUICOES
4.2. ENTRADA/SAIDA
4.3. ESTRUTURAS DE DADOS: POR CONS, SIMBOLO, E LISTAS.
4.4. LISTA DE ASSOCIACOES, DE PROPRIEDADES E FUNCOES CORRELATAS.
4.5. ESTRUTURAS DE CONTROLE: SEQUENCIAS, SELECAO, E REPETICAO.
5.0 PROLOG
5.1. INTRODUCAO
5.2. FATOS E REGRAS: USANDO O PROLOG, FATOS, CONSULTAS, REGRAS, PRO-
CEDIMENTOS, RECURSAO, TIPOS DE RELACOES.
5.3. ARITMETICA E ESTRUTURA DE DADOS: ARITMETICA, ESTRUTURA DE DADOS,
LISTAS, OPERANDO SOBRE LISTAS, REPRESENTACAO DE UMA BASE DE
DADOS.
5.4. CONTROLANDO A EXECUCAO: AVALIACAO DE CONSULTAS, CORTES, RETRO-
CESSO, NEGACAO POR FALHA, ENTRADA/SAIDA, TIPOS DE TERMOS, COM-
PARADORES, OPERADORES.
5.5. LOGICA E PROLOG: LOGICA DOS PREDICADOS, FORMULAS CLAUSAIS, RESO-
LUCAO E PROVA DE TEOREMAS, CLAUSULAS DE HORN, PROLOG.
5.6. PARAMETROS DE ACUMULACAO
5.7. CONSTRUINDO PREDICADOS COM PARAMETROS BIDIRECIONAIS
5.8. LISTAS DE ASSOCIACOES
5.9. PROCESSAMENTO DE LISTAS E GRAFOS: ORDENACAO, PROBLEMA DE CAMIN-
HO SELECAO, FILTRAGEM, DIVISAO, INTERCALACAO, ETC.

Bibliografia

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.