| Componente Curricular |
|---|
| MATA75 - SEMÂNTICA DE LINGUAGEM DE PROGRAMAÇÃO |
| 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 |
|---|
| Semântica informal. Semântica formal: operacional ( natural, SOS), axiomática (Lógica de Hoare), denotacional (Domínio e Funções), algébrica e de ações. Introdução ao cálculo lambda. Domínio de Scott. |
| Programa |
|---|
| Objetivo |
|---|
| Não há Objetivo cadastrado |
| Conteúdo |
|---|
| Não há Conteúdo cadastrado |
| Bibliografia |
|---|
| Não há Bibliografia cadastrada |