q       Tipologia e paradigmas de linguagens computacionais

o         programação x comandos e scripting x mark-up x consulta de BD x especificação, modelagem e representação do conhecimento

o         paradigmas de base: imperativo x funcional x lógico

o         orientação de dados: objetos x relações

o         orientação de controle: procedimentos x eventos

o         paradigmas ortogonais: distribuição e restrições

o         programação procedimental x declarativa

q       História das linguagens computacionais

q       Definidos abstratamente e ilustrados nas visões imperativa e OO

q       Tipos :

o         concretos x abstratos, primitivos x compostos,
pre-definidos x definidos pelo usuário, tipagem fraco x forte, verificação de tipo, polimorfismo de sub-tipo

q       Instanciação de variáveis (binding)

q       Expressões e atribuição

q       Estruturas de controles

o         primitivas, subrotinas, corotinas, recursão, passsagem de parâmetros

q       Exceções

q       Conceitos de programação OO

q       Programação funcional:

o         introdução a programação funcional

o         revisita do conceitos gerais de programação na visão funcional

o         conceitos específicos de programação funcional

o         Exercício 1: re-implementação funcional de um componente do software desenvolvido na disciplina “Introdução a programação” ou “Projeto de desenvolvimento de software em equipe”

o         comparação com programação imperativa e OO

q       Revisita das linguagens de consulta a BD:

o         revisita do conceitos gerais de programação na visão SQL

o         conceitos específicos de linguagens de consulta de BD

o         comparação com programação imperativa e OO

o         Exercício 2: re-implementação SQL do Exercício

q       Revista de programação em lógica:

o         revisita dos conceitos gerais de programação na visão lógica

o         Exercício 3: re-implementação lógica do Exercício 1

o         comparação com programação imperativa, OO, funcional e BD

q       Programação por restrições: 1

o         introdução a programação restrições

o         revisita dos conceitos gerais de prog. na visão resolução de restrições

o         conceitos específicos de programação por restrições

o         Exercício 4: re-implementação do Exercício 1 com restrições

o         comparação com programação imperativa, OO, funcional,
BD  e Lógica 

q       API e interoperabilidade entre linguagens

q       Exercício 5: re-implementação multi-paradigma via API do exercício 1

q       Linguagens multi-paradigma 

q       Exercício 6: re-implementação do exercício 1 com linguagem multi-paradigma

q       tipologia, histórico e motivação

q       conceitos comuns com linguagens de programação

q       conceitos específicos das linguagens de comandos, scripting e mark-up

q       Exercício 7: re-implementação do exercício 1 com linguagens de scripting e mark-up

q       comparação com linguagens de programação

q       Concepts of programming languages
R.W. Sebesta, 1998, Addison-Wesley

q       Haskell: the craft of functional programming
S. Thompson, 1999, Addison-Wesley

q       Prolog: programming for artificial intelligence (3rd ed.)
I. Bratko, 2000, Prentice-Hall

q       Constraint programming: an introduction
K. Marriott & P. Stuckey, 1999, MIT Press