Voltar | | | Material da Disciplina | | | Modelo de apresentação de Trabalhos |
Leituras Complementares | | | Links Interessantes | | | Exercícios |
P L A N O D E E N S I N O
Semestre:
2003.2
Código: INE 5363
Nome: Programação Funcional
Total de Horas/Aula: 54 (Teóricas: 33 Práticas: 21)
OBJETIVOS:
· introduzir o aluno no paradigma da programação funcional, seus conceitos e resultados mais importantes;
· aprendizado da linguagem LISP e de métodos e técnicas de desenvolvimento de programas, levando em conta as características desta linguagem de programação.
PROCEDIMENTOS DIDÁTICOS:
T Ó P I C O S |
Proc. Didático |
Horas |
1. Motivação Básica |
AEX |
3 |
2.Exemplo de linguagem funcional |
AEX |
6 |
3.Teoria de problemas, paradigmas de programação |
AEX |
3 |
4 Cálculo Lambda |
AEX |
6 |
5.Linguagens da família Lisp |
AEX |
15 |
6. Outras linguagens funcionais |
APR |
12 |
Provas |
OTR |
9 |
AEX=Aula Expositiva;
LAB=Aula de laboratório;
APR=Aula prática;
OTR=Outros.
AVALIAÇÃO DA APRENDIZAGEM:
Provas P1,P2
Trabalhos T1
Media Final MF = (P1+P2+T1-min(P1,P2,T1))/2
Recuperação: MFR = (MF + Nota_prova_recuperação) / 2.
Notas:
Critério para Aprovação:
- Serão considerados aprovados os alunos que obtiverem MF superior ou igual 6,0 e frequência igual ou superior a 75%.
- Os alunos com MF entre 3,0 e 5,5 terão direito a fazerem a prova de recuperação.
Para fazer a prova de recuperação o aluno deverá ter MF superior ou igual a 3.0 nas duas provas. Caso , por motivo justificado haja faltado a uma das provas a recuperação poderá substituir a prova que faltou.
Forma da
Recuperação:
Deve constar de uma prova sobre toda a matéria na última semana letiva.
BIBLIOGRAFIA:
·
Revesz, G., Lambda‑Calculus Combinators and Functional Programming,
·
Bird,
R. & Wadler, P., Introduction to Functional
Programming, Prentice‑Hall, 1988.
·
Hindley, J. R. &
Seldin, J. P., Introduction to Combinators
and Calculus, Cambridge University Press, 1986.
·
Steele Jr., Guy L., Common Lisp - The Language,
disponível tanto sob forma de livro quanto em formato PostScript.
·
Notas disponibilizadas na pagina do
professor.
Voltar | | | Material da Disciplina | | | Modelo de apresentação de Trabalhos |
Leituras Complementares | | | Links Interessantes | | | Exercícios |