MC346 - Paradigmas de Programação

Créditos: 4
Horas semanais de atividades teóricas: 3
Horas semanais de atividades práticas: 1
Oferecimento: Ambos os períodos letivos
 
Pré-Requisitos
MC302
Ementa

Visão comparativa de paradigmas de programação. Programação funcional e lógica.

Programa

Programação Lógica:

- Fatos

- Regras

- Modelo de Execução

- Inferência

- Unificação e Retrocesso

- Listas

- Corte

- Estruturas de Controle

 

Programação Funcional:

- Cálculo Lâmbda

- Modo de Avaliação de Expressões e Argumentos

- Funções

- Ausência de Atribuições

- Efeitos Colaterais e Controle de Fluxo

- Operações Primitivas

- Estruturas de Dados

- Currying

- Funções de Funções

 

Bibliografia
Practical Common Lisp, Peter Seibel; Apress, 1st edition (2005)
ANSI Common LISP, Paul Graham; Prentice Hall (1995)
Prolog Programming for Artificial Intelligence, Ivan Bratko; Addison-Wesley, 2nd edition (1990)
The Craft of Prolog, Richard O'Keef; The MIT Press (1990)