| Componente Curricular |
|---|
| MATA77 - PROGRAMAÇÃO FUNCIONAL |
| Carga Horária - Total: 60 horas | | |
|---|
| Teórica | Prática | Estágio | Departamento | Semestre Vigente |
|---|
| 30 | 30 | 0 | Departamento de Ciência da Computação | 2023.1 |
| 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 |