MC346 - Paradigmas de Programação | INSTITUTO DE COMPUTAÇÃ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)