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

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:

  • O grau de P1 é a média aritmética  de trabalhos em sala, a domicílio, etc. Alguns destes trabalhos serão inopinados. Cerca de 20% dos graus obtidos (os menores) serão desprezados de modo a que um aluno ausente a um dos trabalhos não seja prejudicado e por outro lado penalizando o aluno com muitas faltas.
  • Se o T1 for aceito e apresentado em evento (ex: semana de Iniciação Científica da UFSC) o grau será 10 e o grupo ficará dispensado da apresentação oral.

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, Cambridge University Press, 1988.

·      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