Nesta disciplina vamos estudar os fundamentos teóricos dos paradigmas de programação lógico e funcional e implementar programas utilizando estes paradigmas.

Veja o programa e o critério de avaliação da disciplina.

Os alunos desta disciplina devem inscrever-se no grupo uem-lp para receberem informações e discutirem o conteúdo da disciplina. Por favor, use o seu nome verdadeiro na lista para o professor poder identificá-lo.

Plano de acompanhamento de estudos

De acordo com o plano de acompanhamento de estudos, os alunos devem desenvolver uma atividade após cada módulo como forma de obter presença na disciplina.

As atividades devem estar de acordo com as seguintes normas:

As atividades e datas de entregas estão descritas na próxima seção.

Avaliações

Aulas

Paradigma Lógico

Paradigma Funcional

Links

Incentivo ao aprendizado de novas linguagens de programação

Racket

Prolog

Outros