SEMANTICA FORMAL
Ementa
ABORDAGENS PARA DEFINICAO FORMAL DE LINGUAGENS DE PROGRAMACAO. AL GEBRA EVOLUTIVA: MAQUINAS DE ESTADOS ABSTRATOS. SEMANTICA DENOTACIONAL: SEMANTICA DIRETA. SEMANTICA DE CONTINUACAO. SEMANTICA DE EX-PRESSOES, JUMPS, COMANDOS, PROCEDIMENTOS E TIPOS. CLASSES E OBJE- TOS. ELEMENTOS DA TEORIA DE DOMINIOS: ORDEM PARCIAL. POSETS, CPO, FUNCOES MONOTONICAS, CONTINUAS E PONTO FIXO. SEMANTICA OPERACIONALESTRUTURADA. PI CALCULO.
Código da disciplina: DCC059-DIG
Nome da atividade: SEMANTICA FORMAL
Período letivo:
Tipo da atividade: optativa
Créditos: 4
Carga horária (horas):
Teórica | Prática | Total |
---|---|---|
60 | 0 | 60 |
Última oferta: 2012/1