Componente Curricular |
---|
MATA77 - PROGRAMAÇÃO FUNCIONAL |
Carga Horária - Total: 68 horas | | |
---|
Teórica | Prática | Estágio | Departamento | Semestre Vigente |
---|
34 | 34 | 0 | Ciência da Computação | 2007.2 |
Ementa |
---|
Expressões, valores, funções e tipos. Programação com listas. Polimorfismo e funções de alta ordem. Avaliação de expressões, redução e conversão (estrita e preguiçosa). Programação com tipos algébricos. Módulos e tipos abstratos de dados. Indução, invariantes e provas de propriedade. Modelos de custo simples para programas funcionais; complexidade de tempo e espaço. |
Programa |
---|
Objetivo |
---|
Não há Objetivo cadastrado |
Conteúdo |
---|
Não há Conteúdo cadastrado |
Bibliografia |
---|
Não há Bibliografia cadastrada |